2586 search results - page 358 / 518 » Automatic Abstraction for Congruences |
183
click to vote
SC
2005
ACM
15 years 12 months ago
2005
ACM
Resource management is a key concern for implementing effective Grid middleware and shielding application developers from low level details. Existing resource managers concentrat...
165
click to vote
SENSYS
2005
ACM
15 years 12 months ago
2005
ACM
We consider configuration of wireless sensor networks, where certain functions must be automatically assigned to sensor nodes, such that the properties of a sensor node (e.g., rem...
151
click to vote
XIMEP
2005
ACM
15 years 12 months ago
2005
ACM
Building an XML store means finding solutions to the problems of representing, accessing, querying and updating XML data. The irregularity of both the structure and usage of XML, ...
148
click to vote
ASM
2005
ASM
15 years 12 months ago
2005
ASM
Abstract. This paper presents a new approach to model and test hierarchical Graphical User Interfaces (GUIs). We exploit the structure of Hierarchical Finite State Machines (HFSMs)...
195
click to vote
AVBPA
2005
Springer
15 years 12 months ago
2005
Springer
Abstract. In this paper we introduce a novel approach for learning view-invariant gait representation that does not require synthesizing particular views or any camera calibration....