11168 search results - page 1972 / 2234 » Abstract State Processes |
113
click to vote
INEX
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Can a system designed primarily for the purpose of databasetype storage and retrieval be used for information-retrieval tasks? This was one of the questions that led us t...
91
Voted
ISOLA
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Lurette is an automated testing tool dedicated to reactive programs. The test process is automated at two levels: given a formal description of the System Under Test (SUT...
103
Voted
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Intelligent tutoring systems are quite difficult and time intensive to develop. In this paper, we describe a method and set of software tools that ease the process of cog...
109
Voted
ITS
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. There have been several attempts to automate knowledge acquisition for ITSs that teach procedural tasks. The goal of our project is to automate the acquisition of domain ...
75
Voted
IWDW
2004
Springer
15 years 6 months ago
2004
Springer
Abstract. Watermarking systems can employ either informed detection, where the original cover work is required, or blind detection, where it is not required. While early systems us...