9284 search results - page 186 / 1857 » Knowledge State Algorithms |
165
click to vote
CAV
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
173
Voted
ICALP
2009
Springer
16 years 6 months ago
2009
Springer
We initiate the study of sublinear-time algorithms in the external memory model [14]. In this model, the data is stored in blocks of a certain size B, and the algorithm is charged...
169
click to vote
FUIN
2006
15 years 6 months ago
2006
Abstract. In this paper, we propose an adaptive algorithm for merging n (n2) prioritized knowledge bases which takes into account the degrees of conflict and agreement among these ...
166
click to vote
DATESO
2007
15 years 7 months ago
2007
Authors are looking within their research grant new original web local search algorithm respecting specifics of Czech national environment. We would like to initiate further debate...
144
click to vote
UM
2010
Springer
15 years 11 months ago
2010
Springer
The effectiveness of support provided to virtual communities depends strongly on what we know about a particular community of people and in what areas the community needs support....