1451 search results - page 204 / 291 » Order independence and rationalizability |
159
click to vote
ICSE
2001
IEEE-ACM
15 years 10 months ago
2001
IEEE-ACM
The paper addresses the formal specification, design and implementation of the behavioral component of graphical user interfaces. The complex sequences of visual events and action...
159
click to vote
MICCAI
2001
Springer
15 years 10 months ago
2001
Springer
This paper presents a user-steered segmentation algorithm based on the livewire paradigm. Livewire is an image-feature driven method that finds the optimal path between user-selec...
158
click to vote
SEMWEB
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Topic Maps and RDF are two independently developed paradigms and standards for the representation, interchange, and exploitation of model-based data on the web. Each para...
165
click to vote
IDEAS
2000
IEEE
15 years 10 months ago
2000
IEEE
Most operations of the relational algebra or SQL - like projection with duplicate elimination, join, ordering, group by and aggregations - are efficiently processed using a sorted...
157
click to vote
IPPS
2000
IEEE
15 years 10 months ago
2000
IEEE
In order to reduce the overhead of synchronizing operations of shared memory multiprocessors, this paper proposes a mechanism, named specMEM, to execute memory accesses following ...