1705 search results - page 157 / 341 » Representing Constraints with Automata |
143
click to vote
GLOBE
2009
Springer
15 years 9 months ago
2009
Springer
Abstract. We show how to specify and use the metadata for a virtual and relational data integration system under the local-as-view (LAV) approach. We use XML and RuleML for represe...
163
click to vote
AMDO
2000
Springer
15 years 9 months ago
2000
Springer
This paper presents a method of estimating both 3-D shapes and moving poses of an articulated object from a monocular image sequence. Instead of using direct depth data, prior loo...
137
click to vote
CAISE
2000
Springer
15 years 9 months ago
2000
Springer
We present a formal framework for representing enterprise knowledge. The concepts of our framework (objectives and goals, roles and actors, actions and processes, responsibilities ...
135
click to vote
ESOP
2009
Springer
15 years 8 months ago
2009
Springer
This paper studies inductive definitions involving binders, in which aliasing between free and bound names is permitted. Such aliasing occurs in informal specifications of operatio...
124
click to vote
AAAI
2008
15 years 7 months ago
2008
Action languages allow to formally represent and reason about actions in a highly declarative manner. In recent work, revision and management of conflicts for domain descriptions ...