Sciweavers

3381 search results - page 30 / 677
» Extending Dependencies with Conditions
Sort
View
CORR
2008
Springer
92views Education» more  CORR 2008»
14 years 10 months ago
On sign conditions over real multivariate polynomials
We present a new probabilistic algorithm to find a finite set of points intersecting the closure of each connected component of the realization of every sign condition over a fami...
Gabriela Jeronimo, Daniel Perrucci, Juan Sabia
CVPR
2009
IEEE
16 years 5 months ago
Capturing Multiple Illumination Conditions using Time and Color Multiplexing
Many vision and graphics problems such as relighting, structured light scanning and photometric stereo, need im- ages of a scene under a number of different illumination conditi...
Bert De Decker (Hasselt University), Jan Kautz (Un...
ECAI
2000
Springer
15 years 2 months ago
Dispatchability Conditions for Schedules with Consumable Resources
Earlier work on scheduling by autonomous systems has demonstrated that schedules in the form of simple temporal networks, with intervals of values for possible event-times, can be ...
Richard J. Wallace, Eugene C. Freuder
JFLP
2002
101views more  JFLP 2002»
14 years 9 months ago
Complete Selection Functions for a Lazy Conditional Narrowing Calculus
In this paper we extend the lazy narrowing calculus lnc of Middeldorp, Okui, and Ida [26] to conditional rewrite systems. The resulting lazy conditional narrowing calculus lcnc is...
Aart Middeldorp, Taro Suzuki, Mohamed Hamada
IWC
2007
119views more  IWC 2007»
14 years 9 months ago
Dependable domestic systems design: A socio-technical approach
This paper describes a model that defines the attributes of domestic systems that lead to system dependability and a user-oriented specification method for support systems based...
Ian Sommerville, Guy Dewsbury