5093 search results - page 4 / 1019 » How Real are Real Numbers |
94
Voted
CHI
2003
ACM
16 years 3 months ago
2003
ACM
The MiTAP system was developed as an experimental prototype using human language technologies for monitoring disease outbreaks. The system provides timely, multi-lingual, global i...
115
Voted
ICCV
2005
IEEE
15 years 8 months ago
2005
IEEE
We present a solution for optimal triangulation in three views. The solution is guaranteed to find the optimal solution because it computes all the stationary points of the (maxi...
117
Voted
JSYML
2002
15 years 2 months ago
2002
Abstract. This paper develops the very basic notions of analysis in a weak secondorder theory of arithmetic BTFA whose provably total functions are the polynomial time computable f...
127
Voted
WCRE
2006
IEEE
15 years 8 months ago
2006
IEEE
Programming is modeling the reality. Most of the times, the mapping between source code and the real world concepts is captured implicitly in the names of identifiers. Making the...
119
Voted
HICSS
2007
IEEE
15 years 9 months ago
2007
IEEE
Organizational change brings about a number of behaviors that are seen to run counter to the implementation of the information systems. These behaviors may be seen as jeopardizing...