4273 search results - page 264 / 855 » Improving proactive information systems |
291
click to vote
AMT
2001
Springer
15 years 11 months ago
2001
Springer
In the field of guided learning on the Internet we present, in this paper, an interactive tool for designing intelligent tutoring systems on the web. Our tool makes easier the crea...
172
click to vote
CAV
1998
Springer
15 years 11 months ago
1998
Springer
This paper presents a new algorithm for efficiently verifying timed systems. The new algorithm represents timing information using geometric regions and explores the timed state sp...
250
click to vote
VLDB
2007
ACM
16 years 7 months ago
2007
ACM
Ontology, an explicit specification of shared conceptualization, has been increasingly used to define formal data semantics and improve data reusability and interoperability in en...
152
click to vote
AINA
2007
IEEE
16 years 1 months ago
2007
IEEE
In this paper an agri-food traceability system based on public key cryptography and Radio Frequency Identification (RFID) technology is proposed. In order to guarantee safety in f...
173
click to vote
ICC
2007
IEEE
16 years 1 months ago
2007
IEEE
— We address the problem of radio resource allocation in the Downlink (DL) of relay–aided cellular system, based on OFDMA transmission technology. There has been little work on...