575 search results - page 112 / 115 » Model Checking Restricted Sets of Timed Paths |
CIVR
2007
Springer
14 years 1 months ago
2007
Springer
In the past, quantized local descriptors have been shown to be a good base for the representation of images, that can be applied to a wide range of tasks. However, current approac...
PROFES
2001
Springer
13 years 11 months ago
2001
Springer
New information is obtained by research and disseminated by papers in conferences and journals. The synthesis of knowledge depends upon social discourse among the experts in a give...
KIVS
1999
Springer
13 years 11 months ago
1999
Springer
Multimedia presentations are applicable in various domains such as advertising, commercial presentations or education. Multimedia presentations are described by multimedia documen...
CINQ
2004
Springer
14 years 23 days ago
2004
Springer
In this paper we present the application of the inductive database approach to two practical analytical case studies: Web usage mining in Web logs and financial data. As far as co...
COCOON
2003
Springer
14 years 18 days ago
2003
Springer
Drugs and other chemical compounds are often modeled as polygonal shapes, where each vertex represents an atom of the molecule, and covalent bonds between atoms are represented by...