1969 search results - page 102 / 394 » Incremental Processing and Acceptability |
180
click to vote
COMPSAC
2006
IEEE
15 years 11 months ago
2006
IEEE
The Sage development method and associated tool set support an incremental, iterative, model-driven process to build and maintain high assurance, reactive multi-agent systems. A s...
145
click to vote
FORMATS
2004
Springer
15 years 9 months ago
2004
Springer
Abstract. In this paper we report a new SAT solver for difference logic, a propositional logic enriched with timing constraints. The main novelty of our solver is a tighter integra...
155
click to vote
SIGIR
2008
ACM
15 years 5 months ago
2008
ACM
Online communities have become popular for publishing and searching content, as well as for finding and connecting to other users. User-generated content includes, for example, pe...
142
click to vote
ICML
2003
IEEE
16 years 6 months ago
2003
IEEE
Relational reinforcement learning (RRL) is a Q-learning technique which uses first order regression techniques to generalize the Qfunction. Both the relational setting and the Q-l...
177
click to vote
IWANN
2009
Springer
16 years 20 hour ago
2009
Springer
Abstract. Microshrinkages are known as probably the most difficult defects to avoid in high-precision foundry. The presence of this failure renders the casting invalid, with the su...