4488 search results - page 501 / 898 » Focusing Search by Using Problem Solving Experience |
174
click to vote
ENTCS
2008
15 years 6 months ago
2008
The problem of "time separation" can be stated as follows: Given a system made of several connected components, each one entailing a local delay known with uncertainty, ...
139
click to vote
CADE
2006
Springer
16 years 7 months ago
2006
Springer
Abstract. We describe a second-order type theory with proof irrelevance. Within this framework, we give a representation of a form of Mac Lane set theory and discuss automated supp...
177
Voted
HICSS
2010
IEEE
16 years 1 months ago
2010
IEEE
The paper presents our design of a next generation information retrieval system based on tag co-occurrences and subsequent clustering. We help users getting access to digital data...
173
click to vote
ATAL
2005
Springer
16 years 8 days ago
2005
Springer
We present a novel approach to multiagent planning for self-interested agents. The main idea behind our approach is that multiagent planning systems should be built upon (single-a...
156
Voted
CP
2005
Springer
16 years 8 days ago
2005
Springer
Besides search, complete inference methods can also be used to solve soft constraint problems. Their main drawback is the high spatial complexity. To improve its practical usage, w...