6618 search results - page 953 / 1324 » Natural Logic for Natural Language |
231
click to vote
HASKELL
2005
ACM
16 years 1 months ago
2005
ACM
Proof assistants based on dependent type theory are closely related to functional programming languages, and so it is tempting to use them to prove the correctness of functional p...
194
click to vote
IUI
2005
ACM
16 years 1 months ago
2005
ACM
Personal assistants need to allow the user to interact with the system in a flexible and adaptive way such as through spoken language dialogue. In this research we focus on an ap...
201
click to vote
ATAL
2005
Springer
16 years 1 months ago
2005
Springer
We describe OWL-P (OWL for Processes and Protocols), a methodology and software tool for specifying and enacting interaction protocols among autonomous agents. We use the Web Onto...
216
click to vote
LCPC
2005
Springer
16 years 1 months ago
2005
Springer
With the growing popularity of streaming data model, processing queries over streaming data has become an important topic. Streaming data has received attention in a number of comm...
164
click to vote
NLDB
2005
Springer
16 years 1 months ago
2005
Springer
Abstract. The increasing flow of digital information requires the extraction, filtering and classification of pertinent information from large volumes of texts. An important pre...