892 search results - page 107 / 179 » Strategies in sentential reasoning |
104
click to vote
ICFEM
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. CSP is a well-established formalism for modelling and verification of concurrent reactive systems based on refinement. Consolidated denotational models and an effective t...
130
click to vote
AIMSA
2006
Springer
15 years 4 months ago
2006
Springer
Although speech and language processing techniques achieved a relative maturity during the last decade, designing a spoken dialogue system is still a tailoring task because of the ...
87
Voted
AUSAI
2006
Springer
15 years 4 months ago
2006
Springer
Real-world document classification is an open-ended problem, rather than a close-ended problem, because the document classification domain continually evolves as the time passes. U...
107
click to vote
DEXA
2006
Springer
15 years 4 months ago
2006
Springer
One of the problems associated with XML databases is the poor performance of XPath queries. Although this has attracted much attention by the research community, solutions are eith...
DSOM
2006
Springer
15 years 4 months ago
2006
Springer
This paper proposes an open, extensible control plane for a global event service, based on semantically rich messages. This is based on the novel application of control plane separ...