634 search results - page 65 / 127 » NLP (Natural Language Processing) for NLP (Natural Language ... |
152
Voted
SOSL
1993
15 years 7 months ago
1993
In this paper we study automatic veri cation of proofs in process algebra. Formulas of process algebra are represented by types in typed -calculus. Inhabitants (terms) of these ty...
116
click to vote
CHI
2009
ACM
16 years 4 months ago
2009
ACM
In this paper, we present `QUICKIES', an attempt to bring one of the most useful inventions of the 20th century into the digital age: the ubiquitous sticky notes. `QUICKIES&#...
103
Voted
HRI
2007
ACM
15 years 7 months ago
2007
ACM
In many settings, such as home care or mobile environments, demands on users' attention, or users' anticipated level of formal training, or other on-site conditions will...
227
click to vote
Book
This book shows how to implement some AI techniques in java such as Search, Reasoning, Semantic Web, Expert Systems, Genetic Algorithms, Neural Networks, Machine Learning with Weka...
151
Voted
FDL
2006
IEEE
15 years 7 months ago
2006
IEEE
Many different system description and specification languages are used in modern design flows to emphasize different aspects like modular architecture, multibehavior, abstract act...