7064 search results - page 234 / 1413 » From States to Histories |
154
click to vote
ACL
2010
15 years 4 months ago
2010
Classical Information Extraction (IE) systems fill slots in domain-specific frames. This paper reports on SEQ, a novel open IE system that leverages a domainindependent frame to e...
152
click to vote
ASPDAC
2006
ACM
16 years 19 days ago
2006
ACM
Commonly used pattern sources in simulation-based verification include random, guided random, or design verification patterns. Although these patterns may help bring the design ...
193
click to vote
MODELS
2007
Springer
16 years 24 days ago
2007
Springer
Abstract. In this paper, we deal with model-based automatic test generation. We show how to use UML state machines, UML class diagrams, and OCL expressions to automatically derive ...
163
click to vote
ATAL
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a reinforcement learning algorithm used to allocate tasks to agents in an uncertain real-time environment. In such environment, tasks have to be analyzed and a...
155
click to vote
KR
2004
Springer
16 years 15 hour ago
2004
Springer
While universal plans tell a system how to reach a goal regardless of what state it is in, such plans can be too large to represent. Hybrid systems execute plans where each action...