2181 search results - page 274 / 437 » Ontologies and Description Logics |
161
click to vote
ACMICEC
2003
ACM
15 years 10 months ago
2003
ACM
Current eCommerce is still mainly characterized by the relatively straightforward trading of commodity goods. Nextgeneration efforts in worldwide information infrastructure, espec...
164
click to vote
CORR
2002
Springer
15 years 6 months ago
2002
Springer
This paper studies the problem of modeling complex domains of actions and change within highlevel action description languages. We investigate two main issues of concern: (a) can ...
171
click to vote
TRIDENTCOM
2010
IEEE
15 years 4 months ago
2010
IEEE
Abstract. This paper deals with challenges in federating wireless sensing fabrics. Federations of this sort are currently being developed in next generation global end-to-end exper...
181
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
bstract description of state machines (ASMs), in which data and data operations are d using abstract sort and uninterpreted function symbols. ASMs are suitable for describing Regis...
152
click to vote
ACL
1998
15 years 7 months ago
1998
This paper proposes a method for generating a logicalconstraint-based internal representation from a unification grammar formalism with disjunctive information. Unification gramma...