Sciweavers

1389 search results - page 93 / 278
» Definability as hypercomputational effect
Sort
View
CAV
2006
Springer
164views Hardware» more  CAV 2006»
14 years 16 days ago
Allen Linear (Interval) Temporal Logic - Translation to LTL and Monitor Synthesis
The relationship between two well established formalisms for temporal reasoning is first investigated, namely between Allen's interval algebra (or Allen's temporal logic,...
Grigore Rosu, Saddek Bensalem
EUROMICRO
2004
IEEE
14 years 16 days ago
Determination of Aggregation Points in Wireless Sensor Networks
A primary goal in the design of wireless sensor networks is lifetime maximization, constrained by the energy capacity of batteries. One well known method to reduce energy consumpt...
Utz Roedig, André M. Barroso, Cormac J. Sre...
FGR
2004
IEEE
156views Biometrics» more  FGR 2004»
14 years 16 days ago
Robust Lip Contour Extraction using Separability of Multi-Dimensional Distributions
We present a lip contour extraction method using separability of color intensity distributions. Usually it is difficult to robustly extract the outer lip contour mainly because of...
Tomokazu Wakasugi, Masahide Nishiura, Kazuhiro Fuk...
DAGM
2006
Springer
14 years 14 days ago
Parameterless Isomap with Adaptive Neighborhood Selection
Abstract. Isomap is a highly popular manifold learning and dimensionality reduction technique that effectively performs multidimensional scaling on estimates of geodesic distances....
Nathan Mekuz, John K. Tsotsos
DAGM
2006
Springer
14 years 14 days ago
Cross-Articulation Learning for Robust Detection of Pedestrians
Recognizing categories of articulated objects in real-world scenarios is a challenging problem for today's vision algorithms. Due to the large appearance changes and intra-cla...
Edgar Seemann, Bernt Schiele