12946 search results - page 2459 / 2590 » Natural Language Processing |
154
click to vote
SIGADA
2005
Springer
15 years 12 months ago
2005
Springer
The purpose of this research paper is to examine (1) why formal methods are required for software systems today; (2) the Praxis High Integrity Systems’ Correctness-by-Constructi...
174
click to vote
UM
2005
Springer
15 years 12 months ago
2005
Springer
Intelligent tutoring systems help students acquire cognitive skills by tracing students’ knowledge and providing relevant feedback. However, feedback that focuses only on the cog...
216
click to vote
VSTTE
2005
Springer
15 years 12 months ago
2005
Springer
In this paper, we consider the Grand Challenge under a very specific perspective: the enabling of application experts without programming knowledge to reliably model their busines...
224
click to vote
DOCENG
2004
ACM
15 years 12 months ago
2004
ACM
With the wide adoption of XML as a standard data representation and exchange format, querying XML documents becomes increasingly important. However, relational database systems co...
217
click to vote
NORDICHI
2004
ACM
15 years 12 months ago
2004
ACM
One vision of a context-aware pervasive networking environment promises the user a seamless access to surrounding services using her personal mobile device. This requires that the...