378 search results - page 68 / 76 » Traceability-Driven Model Refinement for Test Case Generatio... |
AI
2004
Springer
13 years 7 months ago
2004
Springer
We propose a new translation from normal logic programs with constraints under the answer set semantics to propositional logic. Given a normal logic program, we show that by addin...
SIMULATION
1998
13 years 7 months ago
1998
A decision support system for the management of an intermodal container terminal is presented. Among the problems to be solved, there are the spatial allocation of containers on t...
ICMCS
2009
IEEE
13 years 5 months ago
2009
IEEE
In this paper we develop a recommendation framework to connect image content with communities in online social media. The problem is important because users are looking for useful...
ER
2007
Springer
14 years 1 months ago
2007
Springer
The longstanding problem of automatic table interpretation still illudes us. Its solution would not only be an aid to table processing applications such as large volume table conve...
WWW
2003
ACM
14 years 8 months ago
2003
ACM
This paper introduces a framework for modeling and specifying the global behavior of e-service compositions. Under this framework, peers (individual e-services) communicate throug...