12774 search results - page 394 / 2555 » A Framework for Proof Systems |
202
click to vote
DMIN
2006
15 years 9 months ago
2006
A Geographic Information System allows to create and manage spatial data. Having many public users who create and edit objects in geographic maps, the question of data quality aris...
206
click to vote
BXML
2003
15 years 9 months ago
2003
: A large variety of emerging Computational Grid applications require versioning services to support effective management of constantly changing datasets and implementations of dat...
213
click to vote
CASCON
1997
15 years 9 months ago
1997
The purpose of the Distributed Management Framework (DMF) is to provide a layer of ion at a level convenient for management application developers. Specifically, it liberates the ...
313
click to vote
IGARSS
2009
15 years 5 months ago
2009
Interactive visualization of remote sensing data allows the user to explore the full scope of the data sets. Combining and comparing different modalities can give additional insig...
201
click to vote
STOC
2007
ACM
16 years 8 months ago
2007
ACM
We study properties of quantum strategies, which are complete specifications of a given party's actions in any multiple-round interaction involving the exchange of quantum in...