1847 search results - page 221 / 370 » Hybrid Functional Interpretations |
195
click to vote
PASTE
2004
ACM
16 years 12 days ago
2004
ACM
Digital Signal Processors are widely used in critical embedded systems to pilot low-level, often critical functionalities. We describe a static analyzer based on abstract interpre...
173
click to vote
PERVASIVE
2004
Springer
16 years 10 days ago
2004
Springer
In an effort to support the development of context-aware applications that use archived sensor data, we introduce the concept of the Context Cube based on techniques of data wareho...
176
Voted
CA
2003
IEEE
16 years 8 days ago
2003
IEEE
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...
135
Voted
ISIPTA
2003
IEEE
16 years 7 days ago
2003
IEEE
Let be a preference relation on a convex set F. Necessary and sufficient conditions are given that guarantee the existence of a set {ul} of affine utility functions on F such th...
203
click to vote
ICML
2003
IEEE
16 years 7 days ago
2003
IEEE
The links between genetic algorithms and population-based Markov Chain Monte Carlo (MCMC) methods are explored. Genetic algorithms (GAs) are well-known for their capability to opt...