1688 search results - page 108 / 338 » The Complexity of Rationalizing Matchings |
159
click to vote
LORI
2009
Springer
15 years 10 months ago
2009
Springer
We present in this work a sound and complete modal logic called EDLA (Epistemic Dynamic Logic of Agency) integrating the concepts of joint action, preference and knowledge and ena...
131
click to vote
COMPGEOM
2000
ACM
15 years 10 months ago
2000
ACM
In this paper we describe and discuss a new kernel design for geometric computation in the plane. It combines different kinds of floating-point filter techniques and a lazy eval...
151
click to vote
DATE
2004
IEEE
15 years 9 months ago
2004
IEEE
This paper proposes a new hierarchical circuit modeling and simulation technique in s-domain for linear analog circuits. The new algorithm can perform circuit complexity reduction...
159
click to vote
SCA
2007
15 years 8 months ago
2007
We introduce a framework for advanced behavioral animation in virtual humans, which addresses the challenging open problem of simulating social interactions between pedestrians in...
107
click to vote
CAISE
2008
Springer
15 years 7 months ago
2008
Springer
The need for method tailoring is widely accepted in the field of information systems development methods. Today much attention has been devoted to viewing method tailoring either a...