2214 search results - page 353 / 443 » Complexity of Reasoning |
125
click to vote
PPDP
2010
Springer
15 years 1 months ago
2010
Springer
Transaction Logic is a logic for representing declarative and procedural knowledge in logic programming, databases, and AI. It has been successful in areas as diverse as workflows...
121
click to vote
TACAS
2010
Springer
15 years 1 months ago
2010
Springer
Software model checkers are being used mostly to discover specific types of errors in the code, since exhaustive verification of complex programs is not possible due to state explo...
117
click to vote
AND
2009
15 years 29 days ago
2009
In a specific process of business intelligence, i.e. investigation on organized crime, empirical language processing technologies can play a crucial role. In the data used on inve...
137
click to vote
GI
2009
Springer
15 years 28 days ago
2009
Springer
: Static analysis techniques for consistency checking of workflows allow to avoid runtime errors. This is in particular crucial for long running workflows where errors, detected la...
147
Voted
GW
2009
Springer
15 years 27 days ago
2009
Springer
This article reports on the exploration of a method based on canonical correlation analysis (CCA) for the analysis of the relationship between gesture and sound in the context of m...