Sciweavers

8499 search results - page 208 / 1700
» cans 2009
Sort
View
ARGMAS
2009
Springer
16 years 1 months ago
A Generative Dialogue System for Arguing about Plans in Situation Calculus
Abstract. This paper presents an argumentation mechanism for reconciling conflicts between planning agents related to plan proposals, which are caused by inconsistencies between b...
Alexandros Belesiotis, Michael Rovatsos, Iyad Rahw...
CAISE
2009
Springer
16 years 1 months ago
The Declarative Approach to Business Process Execution: An Empirical Test
Declarative approaches have been proposed to counter the limited flexibility of the traditional imperative modeling paradigm, but little empirical insights are available into thei...
Barbara Weber, Hajo A. Reijers, Stefan Zugal, Wern...
CALCO
2009
Springer
156views Mathematics» more  CALCO 2009»
16 years 1 months ago
Van Kampen Colimits as Bicolimits in Span
The exactness properties of coproducts in extensive categories and pushouts along monos in adhesive categories have found various applications in theoretical computer science, e.g....
Tobias Heindel, Pawel Sobocinski
CIARP
2009
Springer
16 years 1 months ago
Optimizations and Performance of a Robotics Grasping Algorithm Described in Geometric Algebra
Abstract. The usage of Conformal Geometric Algebra leads to algorithms that can be formulated in a very clear and easy to grasp way. But it can also increase the performance of an ...
Florian Wörsdörfer, Florian Stock, Eduar...
CIKM
2009
Springer
16 years 1 months ago
A framework for safely publishing communication traces
A communication trace is a detailed record of the communication between two entities. Communication traces are vital for research in computer networks and protocols in many domain...
Abhinav Parate, Gerome Miklau