2661 search results - page 373 / 533 » A Semantics for Abstraction |
183
click to vote
EUROCAST
2007
Springer
15 years 10 months ago
2007
Springer
Abstract. Computer viruses and worms are major threats for our computer infrastructure, and thus, for economy and society at large. Recent work has demonstrated that a model checki...
195
click to vote
DASFAA
2009
IEEE
15 years 10 months ago
2009
IEEE
Abstract. In this paper, we demonstrate an effective ranked XML keyword search with meaningful result display. Our system, named ICRA, recognizes a set of object classes in XML dat...
184
click to vote
ADBIS
2004
Springer
15 years 10 months ago
2004
Springer
Abstract. In concurrent database systems, correctness of update transactions refers to the equivalent effects of the execution schedule and some serial schedule over the same set o...
166
click to vote
AIRS
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. This paper presents an approach for image annotation propagation to images which have no annotations. In some specific domains, the assumption that visual similarity impl...
148
click to vote
AUSDM
2006
Springer
15 years 10 months ago
2006
Springer
Abstract. We present a prototype application for graph-based data exploration and mining, with particular emphasis on scientific data. The application has a Flash-based graphical i...