1867 search results - page 275 / 374 » Model-Checking Based Data Retrieval |
118
click to vote
IROS
2007
IEEE
16 years 19 days ago
2007
IEEE
— An important tool in clarifying various theories governing the dynamics of rapid quadrupedal gaits, such as the trot and gallop, is the measurement of body attitude. Such measu...
178
click to vote
NBIS
2007
Springer
16 years 14 days ago
2007
Springer
Range queries, retrieving all keys within a given range, is an important add-on for Distributed Hash Tables (DHTs), as they rely only on exact key matching lookup. In this paper we...
150
click to vote
SEMWEB
2007
Springer
16 years 14 days ago
2007
Springer
Abstract. This paper describes a large case study that explores the applicability of ontology reasoning to problems in the medical domain. We investigate whether it is possible to ...
156
click to vote
FGR
2006
IEEE
16 years 12 days ago
2006
IEEE
We propose an Isometric Self-Organizing Map (ISOSOM) method for nonlinear dimensionality reduction, which integrates a Self-Organizing Map model and an ISOMAP dimension reduction ...
175
click to vote
KDD
2005
ACM
15 years 12 months ago
2005
ACM
In this paper, the proposed LIPED (LIfe Profile based Event Detection) employs the concept of life profiles to predict the activeness of event for effective event detection. A gro...