60 search results - page 7 / 12 » On the Effectiveness of Automatic Case Elicitation in a More... |
ICCAD
2008
IEEE
14 years 3 months ago
2008
IEEE
—The microprocessor verification challenge becomes higher in the on-chip bus (OCB) than in the unit-level. Especially for the external interrupts, since they interface with othe...
AAAI
1996
13 years 8 months ago
1996
In this paper we describe the design and implementation of the derivation replay framework, dersnlp+ebl (Derivational snlp+ebl), which is based within a partial order planner. der...
AAMAS
2007
Springer
13 years 7 months ago
2007
Springer
Sophisticated agents operating in open environments must make decisions that efficiently trade off the use of their limited resources between dynamic deliberative actions and dom...
ECTEL
2006
Springer
13 years 10 months ago
2006
Springer
In this paper, we introduce a new, formal model of learning object metadata. The model enables more formal, rigorous reasoning over metadata. An important feature of the model is t...
LREC
2008
13 years 8 months ago
2008
Automatic Term recognition (ATR) is a fundamental processing step preceding more complex tasks such as semantic search and ontology learning. From a large number of methodologies ...