1086 search results - page 159 / 218 » Points surrounding the origin |
CDC
2008
IEEE
15 years 1 months ago
2008
IEEE
In this paper, we develop an automated framework for formal verification of timed continuous Petri nets (contPN). Specifically, we consider two problems: (1) given an initial set o...
126
click to vote
CF
2005
ACM
15 years 1 months ago
2005
ACM
Exploiting processor groups is becoming increasingly important for programming next-generation high-end systems composed of tens or hundreds of thousands of processors. This paper...
CRV
2008
IEEE
15 years 1 months ago
2008
IEEE
The recent digital revolution has facilitated communication, data portability and on-the-fly manipulation. Unfortunately, this has brought along some critical security vulnerabili...
117
click to vote
ICCV
2007
IEEE
15 years 1 months ago
2007
IEEE
The analysis of facial expression temporal dynamics is of great importance for many real-world applications. Being able to automatically analyse facial muscle actions (Action Units...
73
Voted
BILDMED
2007
15 years 1 months ago
2007
Abstract. Although angiography was originally designed as a morphological imaging modality, it is increasingly demanded to retrieve functional information from conventional angiogr...