3116 search results - page 216 / 624 » Positively dependent types |
136
Voted
LPNMR
1999
Springer
15 years 9 months ago
1999
Springer
We introduce choice logic programs as negation-free datalog programs that allow rules to have exclusive-only (possibly empty) disjunctions in the head. Such programs naturally mod...
145
Voted
ICCD
1997
IEEE
15 years 9 months ago
1997
IEEE
Abstract— In this paper we consider the problem of clustering sequential circuits subject to a bound on the area of each cluster, with the objective of minimizing the clock perio...
148
Voted
SI3D
1992
ACM
15 years 9 months ago
1992
ACM
Techniques are discussed for creating a rendered view into a 3D scene,interactively based on the locations and orientations of the observer's head and the display surface. St...
142
click to vote
3DIM
2001
IEEE
15 years 8 months ago
2001
IEEE
We introduce a novel outlook on the self-calibration task, by considering images taken by a camera in motion, allowing for zooming and focusing. Apart from the complex relationshi...
199
Voted
GOSLER
1995
15 years 8 months ago
1995
The present paper deals with the learnability of indexed families of uniformly recursive languages from positive data as well as from both, positive and negative data. We consider...