Sciweavers

16616 search results - page 329 / 3324
» Extending Extended Vacuity
Sort
View
ICML
1989
IEEE
15 years 10 months ago
Higher-Order and Modal Logic as a Framework for Explanation-Based Generalization
Logic programming provides a uniform framework in which all aspects of explanation-based generalization and learning may be defined and carried out, but first-order Horn logic i...
Scott Dietzen, Frank Pfenning
SIGGRAPH
1989
ACM
15 years 10 months ago
A general two-pass method integrating specular and diffuse reflection
We analyse some recent approaches to the global illumination problem by introducing the corresponding reflection operators, and we demonstrate the advantages of a two-pass method....
François X. Sillion, Claude Puech
DAWAK
2007
Springer
15 years 10 months ago
An Efficient Algorithm for Identifying the Most Contributory Substring
Abstract. Detecting repeated portions of strings has important applications to many areas of study including data compression and computational biology. This paper defines and pres...
Ben Stephenson
POPL
1997
ACM
15 years 10 months ago
Parameterized Types for Java
Java offers the real possibility that most programs can be written in a type-safe language. However, for Java to be broadly useful, it needs additional expressive power. This pape...
Andrew C. Myers, Joseph A. Bank, Barbara Liskov
162
Voted
CDC
2009
IEEE
139views Control Systems» more  CDC 2009»
15 years 10 months ago
Optimal filtering for uncertain linear stochastic systems
— This paper presents the optimal joint filtering and parameter identification problem for uncertain linear stochastic systems with unknown parameters in both state and observa...
Michael V. Basin, Alexander G. Loukianov, Miguel H...