3724 search results - page 606 / 745 » Timed regular expressions |
169
Voted
CIKM
2007
Springer
15 years 10 months ago
2007
Springer
Implicit feedback algorithms utilize interaction between searchers and search systems to learn more about users’ needs and interests than expressed in query statements alone. Th...
122
click to vote
CSL
2007
Springer
15 years 10 months ago
2007
Springer
We study the complexity of satisfiability for DLP+ dyn , an expressive logic introduced by Demri that allows to reason about dynamic policies. DLP+ dyn extends the logic DLPdyn of...
104
Voted
ESOP
2007
Springer
15 years 10 months ago
2007
Springer
Negation is intrinsic to human thinking and most of the time when searching for something, we base our patterns on both positive and negative conditions. In a previous work, we hav...
143
Voted
FMCO
2007
Springer
15 years 10 months ago
2007
Springer
This article considers the coordination language Reo, a Petri net variant called zero-safe nets, and intuitionistic temporal linear logic (ITLL). The first part examines the seman...
135
click to vote
FSR
2007
Springer
15 years 10 months ago
2007
Springer
Sampling in the space of controls or actions is a well-established method for ensuring feasible local motion plans. However, as mobile robots advance in performance and competence ...