Sciweavers

3238 search results - page 327 / 648
» On the Computational Interpretation of Negation
Sort
View
CA
2003
IEEE
16 years 8 hour ago
Realistic Human Walking Paths
Pedestrian navigation is a complex function of human dynamics, a desired destination, and the presence of obstacles. People cannot stop and start instantaneously and their turning...
David C. Brogan, Nicholas L. Johnson
CVPR
2003
IEEE
16 years 6 hour ago
Bayesian Human Segmentation in Crowded Situations
Problem of segmenting individual humans in crowded situations from stationary video camera sequences is exacerbated by object inter-occlusion. We pose this problem as a “model-b...
Tao Zhao, Ramakant Nevatia
IPPS
2003
IEEE
15 years 12 months ago
Experiences and Lessons Learned with a Portable Interface to Hardware Performance Counters
The PAPI project has defined and implemented a crossplatform interface to the hardware counters available on most modern microprocessors. The interface has gained widespread use ...
Jack Dongarra, Kevin S. London, Shirley Moore, Phi...
DPPI
2003
ACM
15 years 12 months ago
Observing and probing
In this paper, we discuss and compare two user centred methods applied in concept design: observation and probes. The comparison is based on findings from two case studies. In the...
Vesa Jääskö, Tuuli Mattelmäki
STACS
2010
Springer
15 years 11 months ago
Decidability of the Interval Temporal Logic ABB over the Natural Numbers
In this paper, we focus our attention on the interval temporal logic of the Allen’s relations “meets”, “begins”, and “begun by” (ABB for short), interpreted over natu...
Angelo Montanari, Pietro Sala, Guido Sciavicco