Sciweavers

2391 search results - page 90 / 479
» From Nature to Methods and Back to Nature
Sort
View
RELMICS
2000
Springer
15 years 1 months ago
A Decision Method for Duration Calculus
Abstract: The Duration Calculus is an interval logic introduced for designing realtime systems. This calculus is able to capture important real-time problems like the speci cation ...
Nathalie Chetcuti-Sperandio, Luis Fariñas d...
ICCV
2003
IEEE
15 years 3 months ago
Meshfree Particle Method
Many of the computer vision algorithms have been posed in various forms of differential equations, derived from minimization of specific energy functionals, and the finite eleme...
Huafeng Liu, Pengcheng Shi
VR
2000
IEEE
103views Virtual Reality» more  VR 2000»
15 years 2 months ago
A Method of Constructing a Telexistence Visual System Using Fixed Screens
Projection-based visual display systems are expected to be effective platforms for VR applications, in which the displayed images are generated by computer graphics using three-di...
Yasuyuki Yanagida, Taro Maeda, Susumu Tachi
ICLP
2010
Springer
15 years 1 months ago
Methods and Methodologies for Developing Answer-Set Programs - Project Description
Answer-set programming (ASP) is a well-known formalism for declarative problem solving, enjoying a continuously increasing number of diverse applications. However, arguably one of ...
Johannes Oetsch, Jörg Pührer, Hans Tompi...
ICASSP
2011
IEEE
14 years 1 months ago
An unconstrained method for lip detection in color images
The use of visual information derived from accurate lip extraction, can provide features invariant to noise perturbation for speech recognition systems and can be also used in a w...
Evangelos Skodras, Nikolaos D. Fakotakis