2253 search results - page 78 / 451 » Computing with Realizational Morphology |
139
click to vote
LREC
2010
15 years 5 months ago
2010
This paper describes a hybrid tagger/parser for French (FrAG), and presents results from ongoing development work, corpus annotation and evaluation. The core of the system is a se...
160
click to vote
FROCOS
2000
Springer
15 years 8 months ago
2000
Springer
Abstract. We discuss a pragmatic approach to integrate computer algebra into proof planning. It is based on the idea to separate computation and veri cation and can thereby exploit...
119
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Next-generation software engineering is envisioned as a computational discipline that complements human capability through automated computation of software behavior and propertie...
145
click to vote
GI
2001
Springer
15 years 9 months ago
2001
Springer
: As mobile and embedded computing devices become more pervasive, it is becoming obvious that the nature of interactions between users and computers must evolve. Applications need ...
153
click to vote
ISWC
1997
IEEE
15 years 8 months ago
1997
IEEE
Situated computing concerns the ability of computing devices to detect, interpret and respond to aspects of the user’s local environment. In this paper, we use our recent protot...