2189 search results - page 357 / 438 » A Graded Applicability of Rules |
IV
2002
IEEE
14 years 20 days ago
2002
IEEE
: In computer-aided design, geometric modeling by constraints enables users to describe shapes by relationships called constraints between geometric elements. The problem is to der...
TPHOL
2002
IEEE
14 years 20 days ago
2002
IEEE
We describe the operational and denotational semantics of a small imperative language in type theory with inductive and recursive definitions. The operational semantics is given b...
WETICE
2002
IEEE
14 years 20 days ago
2002
IEEE
Collaborative Browsing is a new and promising research area whose purpose is to provide new collaboration schemes among users browsing the Web. To become an efficient collaboratio...
SIGMOD
2010
ACM
14 years 17 days ago
2010
ACM
The identification and processing of similarities in the data play a key role in multiple application scenarios. Several types of similarity-aware operations have been studied in ...
PAAMS
2009
Springer
14 years 9 days ago
2009
Springer
Abstract Many Multi-Agent Systems (MAS) methodologies incorporate a modeldriven approach. Model Driven Engineering is based on three main ideas: models are the “first-class citi...