1042 search results - page 177 / 209 » Representing real numbers in a generalized numeration system |
125
click to vote
TACAS
2004
Springer
15 years 6 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
116
click to vote
ECCV
2004
Springer
16 years 3 months ago
2004
Springer
Abstract. A model of human appearance is presented for efficient pose estimation from real-world images. In common with related approaches, a high-level model defines a space of co...
150
click to vote
WWW
2009
ACM
16 years 1 months ago
2009
ACM
The increasing availability of GPS-enabled devices is changing the way people interact with the Web, and brings us a large amount of GPS trajectories representing people's lo...
CHI
2010
ACM
15 years 8 months ago
2010
ACM
Wireless Sensor Networks (WSNs) allow the monitoring of activity or environmental conditions over a large area, from homes to industrial plants, from agriculture fields to forest...
119
click to vote
NETGAMES
2006
ACM
15 years 7 months ago
2006
ACM
Massive multiplayer online games (MMOGs) are today the driving factor for the development of distributed interactive applications, and they are increasing in size and complexity. ...