8780 search results - page 321 / 1756 » On the Feasibility of Consistent Computations |
188
click to vote
IEAAIE
2001
Springer
15 years 12 months ago
2001
Springer
Scheduling problems can be seen as a set of temporal metric and disjunctive constraints. So, they can be formulated in terms of CSPs techniques. In the literature, there are CSP-b...
216
Voted
TOOLS
2000
IEEE
15 years 12 months ago
2000
IEEE
This paper presents a method and a tool for building trustable OO components. The methodology is based on an integrated design and test approach for OO software components. It is ...
190
click to vote
ECAI
2000
Springer
15 years 12 months ago
2000
Springer
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
205
click to vote
MM
1999
ACM
15 years 12 months ago
1999
ACM
In this article, we have introduced a “Live Synchronized Hypermedia Live Lecture (SHLL) System” using RTP to synchronize the live presentation of streaming video lecture, HTML...
153
Voted
ISPD
1997
ACM
15 years 11 months ago
1997
ACM
In a typical VLSI/PCB design, some modules are pre-placed in advance, and the other modules are requested to be placed without overlap with these pre-placed modules. The presence ...