8555 search results - page 1520 / 1711 » Property Based Coordination |
167
click to vote
EUSFLAT
2009
15 years 3 months ago
2009
Abstract-- This paper presents an approach for visualizing highdimensional fuzzy rules arranged in a hierarchy together with the training patterns they cover. A standard multi-dime...
191
click to vote
FORTE
2009
15 years 3 months ago
2009
Abstract. Service compositions leverage remote services to deliver addedvalue distributed applications. Since services are administered and run by independent parties, the governan...
166
click to vote
GBRPR
2009
Springer
15 years 3 months ago
2009
Springer
In this paper, we present a novel graph construction method and demonstrate its usage in a broad range of applications starting from a relatively simple single-surface segmentation...
222
Voted
GLVLSI
2009
IEEE
15 years 3 months ago
2009
IEEE
To assist in dynamic assertion-based verification, we present a method to automatically build a test vector generator from a temporal property. Based on the duality between monito...
148
click to vote
HCI
2009
15 years 3 months ago
2009
In 3D virtual environments (3DVE), we need to know what an object looks like (i.e. geometric information) and what the object is, what are its properties and characteristics and ho...