1679 search results - page 289 / 336 » Pointcuts as Functional Queries |
182
click to vote
SEMWEB
2005
Springer
15 years 11 months ago
2005
Springer
This paper presents SERSE – SEmantic Routing SystEm– a distributed multi-agent system composed of specialised agents that provides robust and efficient gathering and aggregati...
151
click to vote
VLDB
2005
ACM
15 years 11 months ago
2005
ACM
In this demo, we present Nile-PDT, a Phenomenon Detection and Tracking framework using the Nile data stream management system. A phenomenon is characterized by a group of streams ...
144
click to vote
COMPGEOM
2004
ACM
15 years 11 months ago
2004
ACM
We propose a generic computational framework for maintaining a discrete geometric structure defined by a collection of static and mobile objects. We assume that the mobile object...
144
Voted
CPAIOR
2004
Springer
15 years 11 months ago
2004
Springer
ng Abstractions for Local Search Pascal Van Hentenryck1 and Laurent Michel2 1 Brown University, Box 1910, Providence, RI 02912 2 University of Connecticut, Storrs, CT 06269-3155 Ab...
154
click to vote
MKM
2004
Springer
15 years 11 months ago
2004
Springer
Abstract. The Mizar system is equipped with a very large library containing tens of thousands of theorems and thousands of definitions, which often use overloaded notation. For e...