1867 search results - page 275 / 374 » Model-Checking Based Data Retrieval |
83
Voted
IROS
2007
IEEE
15 years 9 months 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...
130
Voted
NBIS
2007
Springer
15 years 8 months 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...
102
Voted
SEMWEB
2007
Springer
15 years 8 months 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 ...
120
Voted
FGR
2006
IEEE
15 years 8 months 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 ...
121
Voted
KDD
2005
ACM
15 years 8 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...