3729 search results - page 594 / 746 » On Formal Modeling of Agent Computations |
182
click to vote
ICRA
2003
IEEE
15 years 11 months ago
2003
IEEE
− We propose a vision based 3D object recognition and tracking system, which provides high level scene descriptions such as object identification and 3D pose information. The sys...
180
click to vote
CHARME
2003
Springer
15 years 11 months ago
2003
Springer
We present a non-operational approach to specifying and analyzing shared memory consistency models. The method uses higher order logic to capture a complete set of ordering constra...
178
click to vote
GIS
1998
ACM
15 years 6 months ago
1998
ACM
Spatial relations are the basis for many selections users perform when they query geographic information systems (GISs). Although such query languages use natural-language-like te...
169
click to vote
ICDAR
2009
IEEE
15 years 4 months ago
2009
IEEE
Standard cursive handwriting recognition is based on a language model, mostly a lexicon of possible word hypotheses or character n-grams. The result is a list of word alternatives...
201
click to vote
CODES
2001
IEEE
15 years 10 months ago
2001
IEEE
We present a new design environment, called System Canvas, targeted at DSP and telecommunication system designs. Our environment uses an easy-to-use block-diagram syntax to specif...