8825 search results - page 47 / 1765 » All for one or one for all |
122
Voted
ALT
1997
Springer
15 years 4 months ago
1997
Springer
A pattern is a string of constant and variable symbols. The language generated by a pattern is the set of all strings of constant symbols which can be obtained from by substituti...
91
Voted
DATAMINE
2008
15 years 27 days ago
2008
Abstract. Data stream values are often associated with multiple aspects. For example, each value observed at a given time-stamp from environmental sensors may have an associated ty...
93
Voted
FUIN
2008
15 years 26 days ago
2008
This paper is concerned with the universality problem for timed automata: given a timed automaton A, does A accept all timed words? Alur and Dill have shown that the universality p...
AAAI
2008
15 years 3 months ago
2008
In many planning applications one can find actions with overlapping effects. If for optimally reaching the goal all that matters is within this overlap, there is no need to consid...
123
Voted
IJCAI
2003
15 years 2 months ago
2003
For probabilistic reasoning, one often needs to sample from a combinatorial space. For example, one may need to sample uniformly from the space of all satisfying assignments. Can ...