Sciweavers

1253 search results - page 180 / 251
» order 2000
Sort
View
ECAI
2000
Springer
15 years 5 months ago
Activity Recognition from Video Sequences using Declarative Models
Abstract. We propose here a new approach for video sequence interpretation based on declarative models of activities. The aim of the video sequence interpretation is to recognize i...
Nathanaël Rota, Monique Thonnat
HPCA
1999
IEEE
15 years 5 months ago
Using Lamport Clocks to Reason about Relaxed Memory Models
Cache coherence protocols of current shared-memory multiprocessors are difficult to verify. Our previous work proposed an extension of Lamport's logical clocks for showing th...
Anne Condon, Mark D. Hill, Manoj Plakal, Daniel J....
119
Voted
GMP
2010
IEEE
195views Solid Modeling» more  GMP 2010»
15 years 4 months ago
Construction of Minimal Catmull-Clark's Subdivision Surfaces with Given Boundaries
Minimal surface is an important class of surfaces. They are widely used in the areas such as architecture, art and natural science etc.. On the other hand, subdivision technology h...
Qing Pan, Guoliang Xu
82
Voted
CLUSTER
2007
IEEE
15 years 4 months ago
A feasibility analysis of power-awareness and energy minimization in modern interconnects for high-performance computing
High-performance computing (HPC) systems consume a significant amount of power, resulting in high operational costs, reduced reliability, and wasting of natural resources. Therefor...
Reza Zamani, Ahmad Afsahi, Ying Qian, V. Carl Hama...
116
Voted
AGENTCL
2000
Springer
15 years 4 months ago
Dialogue in Team Formation
The process of cooperative problem solving can be divided into four stages. First, finding potential team members, then forming a team followed by constructing a plan for that tea...
Frank Dignum, Barbara Dunin-Keplicz, Rineke Verbru...