Sciweavers

5200 search results - page 872 / 1040
» Symbolic models for control systems
Sort
View
ICTAI
2003
IEEE
16 years 10 days ago
Ontology-Based Medical Image Annotation with Description Logics
The interpretation of medical evidence is normally presented in terms of a controlled, but diversely expressed specialist vocabulary and natural language phrases. Such informally ...
Bo Hu, Srinandan Dasmahapatra, Paul H. Lewis, Nige...
187
Voted
IEEEINTERACT
2003
IEEE
16 years 10 days ago
Compiler Support for Dynamic Speculative Pre-Execution
Speculative pre-execution is a promising prefetching technique which uses an auxiliary assisting thread in addition to the main program flow. A prefetching thread (p-thread), whic...
Won Woo Ro, Jean-Luc Gaudiot
PDP
2003
IEEE
16 years 10 days ago
A multi-tiered agent-based architecture for a cooperative learning environment
: In this paper the problem of educational resource management in a cooperative learning environment is discussed. A task model was elaborated to determine both functional and leve...
Eduardo Sánchez Vila, Manuel Lama, Ricardo ...
SAINT
2003
IEEE
16 years 10 days ago
Distributed Authentication for Peer-to-Peer Networks
A public key infrastructure is generally (and effectively) used for cryptographically secure authentication in the networks. Ad-hoc networks are formed in haphazard manner. Securi...
Shardul Gokhale, Partha Dasgupta
STEP
2003
IEEE
16 years 10 days ago
Transforming Legacy Web Applications to the MVC Architecture
With the rapid changes that occur in the area of Web technologies, the porting and adaptation of existing Web applications into new platforms that take advantage of modern technol...
Yu Ping, Kostas Kontogiannis, Terence C. Lau