3256 search results - page 604 / 652 » Applications of Formal Methods to System Design and Verifica... |
PETRA
2009
ACM
15 years 4 months ago
2009
ACM
This paper describes work towards designing a computer vision system for helping users look up the meaning of a sign. Sign lookup is treated as a video database retrieval problem....
122
click to vote
ICC
2008
IEEE
15 years 4 months ago
2008
IEEE
—Recently, network localization systems that are based on inter-node ranges have received significant attention. Geographic routing has been considered an application which can u...
GECCO
2007
Springer
15 years 3 months ago
2007
Springer
I present MOSES (meta-optimizing semantic evolutionary search), a new probabilistic modeling (estimation of distribution) approach to program evolution. Distributions are not esti...
DOLAP
2006
ACM
15 years 3 months ago
2006
ACM
Motivated by the increasing need to analyze complex, uncertain multidimensional data this paper proposes probabilistic OLAP queries that are computed using probability distributio...
IUI
2005
ACM
15 years 3 months ago
2005
ACM
We present PLIANT, a learning system that supports adaptive assistance in an open calendaring system. PLIANT learns user preferences from the feedback that naturally occurs during...