1847 search results - page 221 / 370 » Hybrid Functional Interpretations |
166
click to vote
PASTE
2004
ACM
15 years 10 months 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...
136
click to vote
PERVASIVE
2004
Springer
15 years 10 months 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...
144
Voted
CA
2003
IEEE
15 years 10 months 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...
113
click to vote
ISIPTA
2003
IEEE
15 years 10 months 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...
159
click to vote
ICML
2003
IEEE
15 years 10 months 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...