Sciweavers

748 search results - page 35 / 150
» Time and Probability in Process Algebra
Sort
View
97
Voted
ICCV
2005
IEEE
16 years 2 months ago
Active Search for Real-Time Vision
In most cases when information is to be extracted from an image, there are priors available on the state of the world and therefore on the detailed measurements which will be obta...
Andrew J. Davison
ICCAD
2002
IEEE
122views Hardware» more  ICCAD 2002»
15 years 9 months ago
Schedulability analysis of multiprocessor real-time applications with stochastic task execution times
This paper presents an approach to the analysis of task sets implemented on multiprocessor systems, when the task execution times are specified as generalized probability distrib...
Sorin Manolache, Petru Eles, Zebo Peng
COMPGEOM
2004
ACM
15 years 5 months ago
A 2D kinetic triangulation with near-quadratic topological changes
Given a set of n points S in the plane, a triangulation of S is a subdivision of the convex hull into triangles whose vertices are from S. In the kinetic setting, the input point ...
Pankaj K. Agarwal, Yusu Wang, Hai Yu
CONCUR
2008
Springer
15 years 2 months ago
Termination Problems in Chemical Kinetics
We consider nondeterministic and probabilistic termination problems in a process algebra that is equivalent to basic chemistry. We show that the existence of a terminating computat...
Gianluigi Zavattaro, Luca Cardelli
102
Voted
IJCINI
2007
96views more  IJCINI 2007»
15 years 9 days ago
The Theoretical Framework of Cognitive Informatics
Cognitive Informatics (CI) is a transdisciplinary enquiry of the internal information processing mechanisms and processes of the brain and natural intelligence shared by almost al...
Yingxu Wang