692 search results - page 17 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
115
click to vote
KES
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. A mobile robot that interacts with its environment needs a machineunderstandable representation of objects and their usages. We present an ontology of objects, with gener...
119
click to vote
CVPR
2007
IEEE
16 years 1 months ago
2007
IEEE
Analysis of videos of human-object interactions involves understanding human movements, locating and recognizing objects and observing the effects of human movements on those obje...
SAS
2004
Springer
15 years 5 months ago
2004
Springer
hedron Abstract Domain Robert Claris´o and Jordi Cortadella Universitat Polit`ecnica de Catalunya Barcelona, Spain Abstract. An interesting area in static analysis is the study of...
118
click to vote
BMCBI
2008
14 years 12 months ago
2008
Background: Microarray analysis is an important area of bioinformatics. In the last few years, biclustering has become one of the most popular methods for classifying data from mi...
108
click to vote
LCN
2008
IEEE
15 years 6 months ago
2008
IEEE
Abstract—Mobile Ad Hoc Networks present several new challenges, mainly due to mobility. Publish/Subscribe is a communication paradigm that fits this network model well since the...