5550 search results - page 664 / 1110 » Different Approaches to Proof Systems |
208
click to vote
EDM
2009
15 years 5 months ago
2009
E-Learning systems offer students innovative and attractive ways of learning through augmentation or substitution of traditional lectures and exercises with online learning materia...
226
click to vote
ACL
2009
15 years 4 months ago
2009
This paper presents ongoing research in clinical information extraction. This work introduces a new genre of text which are not well-written, noise prone, ungrammatical and with m...
207
click to vote
LCTRTS
2010
Springer
16 years 2 months ago
2010
Springer
For its high overall cost during product development, program debugging is an important aspect of system development. Debugging is a hard and complex activity, especially in time-...
223
click to vote
EMSOFT
2006
Springer
15 years 10 months ago
2006
Springer
Bridging the gap between model-based design and platformbased implementation is one of the critical challenges for embedded software systems. In the context of embedded control sy...
192
click to vote
IVC
2008
15 years 7 months ago
2008
This paper considers arguments for the necessity of embodiment in cognitive vision systems. We begin by delineating the scope of cognitive vision, and follow this by a survey of t...