912 search results - page 79 / 183 » Abstract Saturation-Based Inference |
141
Voted
SAFECOMP
2010
Springer
15 years 1 months ago
2010
Springer
Abstract. Model-based development and automated code generation are increasingly used for actual production code, in particular in mathematical and engineering domains. However, si...
132
Voted
TSE
2010
15 years 29 days ago
2010
—Discovering program behaviors and functionalities can ease program comprehension and verification. Existing program analysis approaches have used text mining algorithms to infer...
142
Voted
DLOG
2010
15 years 19 days ago
2010
Abstract. Abductive reasoning has been recognized as a valuable complement to deductive inference for tasks such as diagnosis and integration of incomplete information despite its ...
127
click to vote
IAT
2010
IEEE
15 years 18 days ago
2010
IEEE
Abstract--The paper proposes a biologically-inspired cognitive agent model, known as FALCON-X, based on an integration of the Adaptive Control of Thought (ACT-R) architecture and a...
125
click to vote
ICSOC
2010
Springer
15 years 16 days ago
2010
Springer
In Service-Oriented Computing (SOC), fragmentation and merging of workflows are motivated by a number of concerns, among which we can cite design issues, performance, and privacy. ...