5093 search results - page 4 / 1019 » How Real are Real Numbers |
CHI
2003
ACM
14 years 7 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...
ICCV
2005
IEEE
14 years 1 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...
JSYML
2002
13 years 7 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...
WCRE
2006
IEEE
14 years 1 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...
HICSS
2007
IEEE
14 years 1 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...