3710 search results - page 688 / 742 » A new calculus of contexts |
146
click to vote
CICLING
2010
Springer
15 years 11 months ago
2010
Springer
We introduce an Information Extraction (IE) system which uses the logical theory of an ontology as a generalisation of the typical information extraction patterns to extract biolog...
170
click to vote
DSN
2002
IEEE
15 years 11 months ago
2002
IEEE
Model checking has been introduced as an automated technique to verify whether functional properties, expressed in a formal logic like computational tree logic (CTL), do hold in a...
139
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Over the past year, the shakeout in the electronic commerce marketplace has redirected the attention of entrepreneurs and investors from the funding hype surrounding Internet star...
152
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
: This research develops, operationalizes, and empirically tests a model for explaining/predicting the satisfaction of customers with Internet-based services in the context of an o...
165
click to vote
ICRA
2002
IEEE
15 years 11 months ago
2002
IEEE
— This paper presents a new approach for the absolute self-localization of a mobile robot in structured large-scale environments. The requirements with regard to both, the necess...