Sciweavers

8177 search results - page 1452 / 1636
» Detecting System Emulators
Sort
View
ECAI
2004
Springer
15 years 9 months ago
The Use of Temporal Reasoning and Management of Complex Events in Smart Homes
Technological advancements have and will revolutionise the support offered to persons in their home environment. As the population continues to grow and in addition the percentage ...
Juan Carlos Augusto, Chris D. Nugent
ECAI
2004
Springer
15 years 9 months ago
Multiple Relaxations in Temporal Planning
CRIKEY is a planner that separates out the scheduling from the classical parts of temporal planning. This can be seen as a relaxation of the temporal information during the classic...
Keith Halsey, Derek Long, Maria Fox
ECCV
2004
Springer
15 years 9 months ago
Computer-Aided Measurement of Solid Breast Tumor Features on Ultrasound Images
This paper presents a new approach in the application of computer vision techniques to the diagnosis of solid breast tumors on ultrasound images. Most works related to medical imag...
Miguel Alemán-Flores, Patricia Alemá...
ERCIMDL
2004
Springer
180views Education» more  ERCIMDL 2004»
15 years 9 months ago
Next Generation Search Interfaces - Interactive Data Exploration and Hypothesis Formulation
To date, the majority of Web search engines have provided simple keyword search interfaces that present the results as a ranked list of hyperlinks. More recently researchers have b...
Jane Hunter, Katya Falkovych, Suzanne Little
FASE
2004
Springer
15 years 9 months ago
Checking Absence of Illicit Applet Interactions: A Case Study
Abstract. This paper presents the use of a method – and its corresponding tool set – for compositional verification of applet interactions on a realistic industrial smart card...
Marieke Huisman, Dilian Gurov, Christoph Sprenger,...
« Prev « First page 1452 / 1636 Last » Next »