Sciweavers

8099 search results - page 658 / 1620
» Higher-Order Task Models
Sort
View
SIGIR
2003
ACM
16 years 14 days ago
Combining document representations for known-item search
This paper investigates the pre-conditions for successful combination of document representations formed from structural markup for the task of known-item search. As this task is ...
Paul Ogilvie, James P. Callan
BIRTHDAY
2003
Springer
16 years 14 days ago
Systematic Development of Complex Web-Based User Interfaces
Software components realising the graphical user interface (GUI) of a highly interactive system or the user interface of a Web application form an essential part of the entire impl...
Henrik Behrens, Thorsten Ritter, Hans-Werner Six
COSIT
2001
Springer
197views GIS» more  COSIT 2001»
15 years 11 months ago
Geographical Information Retrieval with Ontologies of Place
Geographical context is required of many information retrieval tasks in which the target of the search may be documents, images or records which are referenced to geographical spac...
Christopher B. Jones, Harith Alani, Douglas Tudhop...
RTCSA
2000
IEEE
15 years 11 months ago
Scheduling optional computations in fault-tolerant real-time systems
This paper introduces an exact schedulability analysis for the optional computation model urider a specified failure hypothesis. From this analysis, we propose a solutionfor deter...
Pedro Mejía-Alvarez, Hakan Aydin, Daniel Mo...
DSVIS
1998
Springer
15 years 11 months ago
Pragmatic Formal Design: A Case Study in Integrating Formal Methods into the HCI Development Cycle
Formal modelling, in interactive system design, has received considerably less real use than might have been hoped. Heavy weight formal methods can be expensive to use, with poor c...
Meurig Sage, Chris Johnson