Sciweavers

2992 search results - page 422 / 599
» Semantic Distance Measures
Sort
View
FORMATS
2006
Springer
15 years 10 months ago
Temporal Logic Verification Using Simulation
In this paper, we consider a novel approach to the temporal logic verification problem of continuous dynamical systems. Our methodology has the distinctive feature that enables the...
Georgios E. Fainekos, Antoine Girard, George J. Pa...
EWCBR
2008
Springer
15 years 8 months ago
iReMedI- Intelligent Retrieval from Medical Information
Abstract. Effective encoding of information is one of the keys to qualitative problem solving. Our aim is to explore Knowledge representation techniques that capture meaningful wor...
Saurav Sahay, Bharat Ravisekar, Sundaresan Venkata...
EACL
1993
ACL Anthology
15 years 7 months ago
Delimitedness And Trajectory-Of-Motion Events
The first part of the paper develops a novel, sortally-based approach to the problem of aspectual composition. The account is argued to be superior on both empirical and computati...
Michael White
DEXAW
2010
IEEE
201views Database» more  DEXAW 2010»
15 years 7 months ago
A New Information Filtering Method for WebPages
Internet is a huge source of information. Search engines have indexed much of this information and are able to extract the relevant webpages that are related to a given query. Howe...
Sergio Lopez, Josep Silva
JIIS
2006
103views more  JIIS 2006»
15 years 6 months ago
Time-focused clustering of trajectories of moving objects
Spatio-temporal, geo-referenced datasets are growing rapidly, and will be more in the near future, due to both technological and social/commercial reasons. From the data mining vie...
Mirco Nanni, Dino Pedreschi