Sciweavers

3693 search results - page 521 / 739
» Network Processing of Documents, for Documents, by Documents
Sort
View
CAV
2004
Springer
93views Hardware» more  CAV 2004»
16 years 1 days ago
Symbolic Parametric Safety Analysis of Linear Hybrid Systems with BDD-Like Data-Structures
—We introduce a new BDD-like data structure called Hybrid-Restriction Diagrams (HRDs) for the representation and manipulation of linear hybrid automata (LHA) state-spaces and pre...
Farn Wang
ERCIMDL
2004
Springer
112views Education» more  ERCIMDL 2004»
16 years 1 days ago
Content-Based Retrieval in Digital Music Libraries
Abstract. MiDiLiB is a six year research project on digital music libraries funded by the German Research Foundation (DFG) as a part of the Distributed Processing and Delivery of D...
Michael Clausen, Frank Kurth, Meinard Müller,...
ICCHP
2004
Springer
16 years 1 days ago
Investigations to Develop a Fully Adjustable Intelligent Toilet for Supporting Old People and Persons with Disabilities - The Fr
Abstract. The FRR (Friendly Rest Room) project creates and evaluates prototypes of a more user friendly intelligent toilet for old persons and for persons with disabilities. Additi...
Paul Panek, Georg Edelmayer, Charlotte Magnusson, ...
ILP
2004
Springer
16 years 18 hour ago
On the Effect of Caching in Recursive Theory Learning
This paper focuses on inductive learning of recursive logical theories from a set of examples. This is a complex task where the learning of one predicate definition should be inter...
Margherita Berardi, Antonio Varlaro, Donato Malerb...
IWDW
2004
Springer
16 years 15 hour ago
Fingerprinting Curves
This paper presents a new method for robust data hiding in curves and highlights potential applications including digital fingerprinting of map document for trace and track purpos...
Hongmei Gou, Min Wu