Sciweavers

8499 search results - page 126 / 1700
» cans 2009
Sort
View
KI
2009
Springer
15 years 11 months ago
Right-of-Way Rules as Use Case for Integrating GOLOG and Qualitative Reasoning
Abstract. Agents interacting in a dynamically changing spatial environment often need to access the same spatial resources. A typical example is given by moving vehicles that meet ...
Florian Pommerening, Stefan Wölfl, Matthias W...
LOPSTR
2009
Springer
15 years 11 months ago
A Transformational Approach for Proving Properties of the CHR Constraint Store
Proving termination of, or generating efficient control for Constraint Handling Rules (CHR) programs requires information about the kinds of constraints that can show up in the CHR...
Paolo Pilozzi, Tom Schrijvers, Maurice Bruynooghe
MFCS
2009
Springer
15 years 11 months ago
The Isomorphism Problem for k-Trees Is Complete for Logspace
Abstract. We show that k-tree isomorphism can be decided in logarithmic space by giving a logspace canonical labeling algorithm. This improves over the previous StUL upper bound an...
Johannes Köbler, Sebastian Kuhnert
MKM
2009
Springer
15 years 11 months ago
Finite Groups Representation Theory with Coq
Representation theory is a branch of algebra that allows the study of groups through linear applications, i.e. matrices. Thus problems in abstract groups can be reduced to problems...
Sidi Ould Biha
NETCOOP
2009
Springer
15 years 11 months ago
Understanding and Preventing Tacit Collusion among Telecommunication Operators
Abstract. Modeling the competition among telecommunication operators (or providers) as a repeated game may explain why tacit collusion to maintain high charging prices can be obser...
Patrick Maillé, Maurizio Naldi, Bruno Tuffi...