12741 search results - page 2360 / 2549 » Editorial and call for papers |
178
click to vote
SIGCOMM
1996
ACM
15 years 10 months ago
1996
ACM
State of the art, real-time, rate-adaptive, multimedia applications adjust their transmission rate to match the available network capacity. Unfortunately, this source-based rate-a...
166
click to vote
SIGGRAPH
1996
ACM
15 years 10 months ago
1996
ACM
Scratches on old films must be removed since these are more noticeable on higher definition and digital televisions. Wires that suspend actors or cars must be carefully erased dur...
184
click to vote
LPKR
1997
Springer
15 years 10 months ago
1997
Springer
In this overview we show how Knowledge Representation (KR) can be done with the help of generalized logic programs. We start by introducing the core of PROLOG, which is based on de...
181
click to vote
WLP
1997
Springer
15 years 10 months ago
1997
Springer
eduction strategies for logic programs often use an abstraction operator to guarantee the niteness of the set of goals for which partial deductions are . Findingan abstraction ope...
180
click to vote
ICCAD
1994
IEEE
15 years 10 months ago
1994
IEEE
A simple extension of the critical path method is presented which allows more accurate optimization of circuits with level-sensitive latches. The extended formulation provides a s...