Sciweavers

7167 search results - page 1090 / 1434
» Answer Set Programming
Sort
View
FCCM
2002
IEEE
127views VLSI» more  FCCM 2002»
15 years 11 months ago
Hardware-Assisted Fast Routing
To fully realize the benefits of partial and rapid reconfiguration of field-programmable devices, we often need to dynamically schedule computing tasks and generate instance-sp...
André DeHon, Randy Huang, John Wawrzynek
PG
2002
IEEE
15 years 11 months ago
Robust Acquisition of 3D Informations from Short Image Sequences
This paper addresses the problem of 3D reconstruction from a set of viewpoints on a short baseline. Its main contribution is the development of a robust algorithm which can extrac...
Sylvain Paris, François X. Sillion
WORDS
2002
IEEE
15 years 11 months ago
An Adaptive Distributed System Based on Conditional Dependencies
Distributed programming is applicable in a wide range of domains such as control systems. These systems are subject to mutable environments and must also provide a time varying ad...
Luci Pirmez, Luiz F. Rust da Costa Carmo, Reinaldo...
AGENTS
2001
Springer
15 years 11 months ago
Automated negotiation from declarative contract descriptions
We present and implement an infrastructure for automating the negotiation of business contracts. Underlying our system is a declarative language for both (1) fully-specified, exe...
Daniel M. Reeves, Michael P. Wellman, Benjamin N. ...
OOPSLA
2001
Springer
15 years 11 months ago
Points-To Analysis for Java using Annotated Constraints
The goal of points-to analysis for Java is to determine the set of objects pointed to by a reference variable or a reference object field. This information has a wide variety of ...
Atanas Rountev, Ana Milanova, Barbara G. Ryder
« Prev « First page 1090 / 1434 Last » Next »