4385 search results - page 613 / 877 » Abstraction for Concurrent Objects |
138
click to vote
PPSN
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We introduce the concept of fruitful regions in a dynamic routing context: regions that have a high potential of generating loads to be transported. The objective is to m...
187
click to vote
RSCTC
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. In this paper, we discuss approximation spaces in a granular computing framework. Such approximation spaces generalise the approaches to concept approximation existing in...
165
click to vote
SAS
2004
Springer
15 years 12 months ago
2004
Springer
ness Refinement in Abstract Symbolic Trajectory Evaluation . . . . 38 Mila Dalla Preda Constraint-Based Linear-Relations Analysis . . . . . . . . . . . . . . . . . . . . . . . . ....
181
Voted
SCVMA
2004
Springer
15 years 12 months ago
2004
Springer
Abstract. We show how to exploit temporal periodicity of moving objects to perform 3D reconstruction. The collection of period-separated frames serve as a surrogate for multiple ri...
163
click to vote
SIGADA
2004
Springer
15 years 12 months ago
2004
Springer
The GNAT Development Team is directly involved with the Ada 2005 effort, both participating in the Ada Rapporteur Group (ARG), and implementing and testing the new features propo...