5093 search results - page 15 / 1019 » How Real are Real Numbers |
FOCM
2010
13 years 6 months ago
2010
IVA
2005
Springer
14 years 1 months ago
2005
Springer
We present an interactive installation with life-size virtual agents that inform, entertain, encourage, and assist visitors during the process of building a car. It will be install...
RTAS
2007
IEEE
14 years 1 months ago
2007
IEEE
This paper discusses an approach for supporting soft realtime periodic tasks in Linux on performance asymmetric multicore platforms (AMPs). Such architectures consist of a large n...
CADE
2008
Springer
14 years 7 months ago
2008
Springer
Interval-based methods are commonly used for computing numerical bounds on expressions and proving inequalities on real numbers. Yet they are hardly used in proof assistants, as th...
IWC
2000
13 years 7 months ago
2000
Intelligent user interfaces have been proposed as a means to overcome some of the problems that directmanipulation interfaces cannot handle, such as: information overflow problems...