2911 search results - page 139 / 583 » A Theory of Expressiveness in Mechanisms |
154
click to vote
FROCOS
2007
Springer
16 years 17 days ago
2007
Springer
Constraint solvers are key modules in many systems with reasoning capabilities (e.g., automated theorem provers). To incorporate constraint solvers in such systems, the capability ...
182
click to vote
LFCS
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Balanced search trees provide guaranteed worst-case time performance and hence they form a very important class of data structures. However, the self-balancing ability co...
180
click to vote
AI
2007
Springer
15 years 6 months ago
2007
Springer
In this paper a theory for the synthesis of geometric concepts is presented. The theory is focused on a constructive process that synthesizes a function in the geometric domain re...
161
click to vote
MM
2004
ACM
15 years 11 months ago
2004
ACM
This purpose of this paper is to present a journal-based system that provides a way for users to reconstruct their emotions around events in their lives, and to see how recall of ...
155
click to vote
ATAL
2007
Springer
15 years 10 months ago
2007
Springer
Traffic authorities work hard to improve resource utilization in traffic. But these efforts do not consider that the valuations of waiting time can be different for each driver, e...