895 search results - page 110 / 179 » A Spectrum of Applications of Automated Reasoning |
ICASSP
2010
IEEE
14 years 10 months ago
2010
IEEE
In commercial spoken dialog systems, call flows are built by call flow designers implementing a predefined business logic. While it may appear obvious from this logic how the c...
IS
2006
14 years 10 months ago
2006
The Semantic Web is being designed to enable automated reasoners to be used as core components in a wide variety of Web applications and services. In order for a client to accept ...
CADE
2004
Springer
15 years 10 months ago
2004
Springer
contexts such as construction of abstractions, speed may be favored over completeness, so that undecidable theories (e.g., nonlinear integer arithmetic) and those whose decision pr...
EMISA
2006
Springer
15 years 1 months ago
2006
Springer
Abstract: Web service technology offers a promising approach for realizing enterprisewide and cross-organizational business applications. With the Business Process Execution Langua...
COMPSAC
2007
IEEE
14 years 11 months ago
2007
IEEE
The popularity of Service Oriented Computing (SOC) brings a large number of distributed, well-encapsulated and reusable services all over internet, and makes it possible to create...