5550 search results - page 637 / 1110 » Different Approaches to Proof Systems |
168
click to vote
CARS
2004
15 years 8 months ago
2004
Sensitive structures of the lateral skull base demand for robotic procedures a higher precision than provided by standard navigation systems relying on CT scans. Keystone of our mu...
195
click to vote
DELOS
2004
15 years 8 months ago
2004
Abstract. The transition from traditional paper libraries to digital libraries enables new strategies for the use and maintenance of artifact collections. Distributed software deve...
163
click to vote
ACL
2001
15 years 8 months ago
2001
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
172
click to vote
ECIS
2001
15 years 8 months ago
2001
Using a knowledge-based theory of the firm within the larger framework of resource-based theory, this ongoing study examines how firm knowledge structures are disrupted under diff...
175
click to vote
ICMAS
2000
15 years 8 months ago
2000
We present a concept to use off-line learning approaches to achieve on-line learning of cooperative behavior of agents and instantiate this concept for evolutionary learning with ...