1192 search results - page 48 / 239 » Symbolic Query Exploration |
142
click to vote
FORMATS
2006
Springer
15 years 5 months ago
2006
Springer
Recently, a new approach to the symbolic model checking of timed automata based on a partial order semantics was introduced, which relies on event zones that use vectors of event o...
102
click to vote
ICWSM
2008
15 years 3 months ago
2008
We explore several different document representation models and two query expansion models for the task of recommending blogs to a user in response to a query. Blog relevance rank...
121
Voted
AAAI
2008
15 years 4 months ago
2008
ADtrees, a data structure useful for caching sufficient statistics, have been successfully adapted to grow lazily when memory is limited and to update sequentially with an increme...
105
Voted
COLT
2008
Springer
15 years 3 months ago
2008
Springer
We define a model of learning probabilistic acyclic circuits using value injection queries, in which an arbitrary subset of wires is set to fixed values, and the value on the sing...
102
click to vote
ISAAC
1998
Springer
15 years 6 months ago
1998
Springer
Abstract. In this paper we explore some novel aspects of visibility for stationary and moving points inside a simple polygon