Sciweavers

5879 search results - page 880 / 1176
» Separation - Past, Present, and Future
Sort
View
AGP
2003
IEEE
16 years 1 days ago
Transforming co-NP Checks to Answer Set Computation by Meta-Interpretation
Many NP-complete problems can be encoded in the answer set semantics of logic programs in a very concise way, where the encoding reflects the typical “guess and check” nature ...
Thomas Eiter, Axel Polleres
AINA
2003
IEEE
16 years 1 days ago
Towards RSVP Lite: Light-Weight RSVP for Generic Signaling
RSVP is a reservation setup protocol designed specifically to support QoS signaling in the Internet. However, RSVP end-to-end signaled QoS for the Internet has not become a reali...
Xiaoming Fu, Cornelia Kappler
CCGRID
2003
IEEE
16 years 1 days ago
A Performance Oriented Migration Framework For The Grid
At least three factors in the existing migrating systems make them less suitable in Grid systems especially when the goal is to improve the response times for individual applicati...
Sathish S. Vadhiyar, Jack Dongarra
COOPIS
2003
IEEE
16 years 1 days ago
Re-factoring Middleware Systems: A Case Study
Abstract. Aspect oriented programming brings us new design perspectives since it permits the superimpositions of multiple abstraction models on top of one another. It is a very pow...
Charles Zhang, Hans-Arno Jacobsen
CVPR
2003
IEEE
16 years 1 days ago
Continuous Tracking Within and Across Camera Streams
This paper presents a new approach for continuous tracking of moving objects observed by multiple, heterogeneous cameras. Our approach simultaneously processes video streams from ...
Jinman Kang, Isaac Cohen, Gérard G. Medioni