Sciweavers

4418 search results - page 603 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
SCESM
2006
ACM
238views Algorithms» more  SCESM 2006»
16 years 18 days ago
Nobody's perfect: interactive synthesis from parametrized real-time scenarios
As technical systems keep growing more complex and sophisticated, designing software for the safety-critical coordination between their components becomes increasingly difficult....
Holger Giese, Stefan Henkler, Martin Hirsch, Flori...
PERCOM
2007
ACM
16 years 6 months ago
Buddy tracking - efficient proximity detection among mobile friends
: Global positioning systems (GPS) and mobile phone networks are making it possible to track individual users with an increasing accuracy. It is natural to ask whether one can use ...
Arnon Amir, Alon Efrat, Jussi Myllymaki, Lingeshwa...
NORDICHI
2006
ACM
16 years 18 days ago
Active surfaces: a novel concept for end-user composition
This paper describes the design process of a modular system for supporting physical and cognitive rehabilitation in the swimming pool. In such an environment, the therapist is cal...
Erik Grönvall, Patrizia Marti, Alessandro Pol...
SIGLEX
1991
15 years 10 months ago
Logical Structures in the Lexicon
The lexical entry for a word must contain all the information needed to construct a semantic representation for sentences that contain the word. Because of that requirement, the f...
John F. Sowa
ICPR
2008
IEEE
16 years 7 months ago
Learning weighted distances for relevance feedback in image retrieval
We present a new method for relevance feedback in image retrieval and a scheme to learn weighted distances which can be used in combination with different relevance feedback metho...
Enrique Vidal, Hermann Ney, Roberto Paredes, Thoma...