Sciweavers

1453 search results - page 216 / 291
» Partial Constraint Satisfaction
Sort
View
PUK
2000
15 years 1 months ago
Scheduling in a Planning Environment
In a real planning problem, there exists a set of constraints (both temporal constraints and resource usage constraints) which must be satisfied in order to obtain a feasible plan....
Antonio Garrido Tejero, Miguel A. Salido, Federico...
AICCSA
2008
IEEE
290views Hardware» more  AICCSA 2008»
15 years 6 months ago
Test of preemptive real-time systems
Time Petri nets with stopwatches not only model system/environment interactions and time constraints. They further enable modeling of suspend/resume operations in real-time system...
Noureddine Adjir, Pierre de Saqui-Sannes, Kamel Mu...
ICCV
2005
IEEE
15 years 5 months ago
A Unifying Approach to Hard and Probabilistic Clustering
We derive the clustering problem from first principles showing that the goal of achieving a probabilistic, or ”hard”, multi class clustering result is equivalent to the algeb...
Ron Zass, Amnon Shashua
FLOPS
2010
Springer
15 years 5 months ago
Tag-Free Combinators for Binding-Time Polymorphic Program Generation
Abstract. Binding-time polymorphism enables a highly flexible bindingtime analysis for offline partial evaluation. This work provides the tools to translate this flexibility into...
Peter Thiemann, Martin Sulzmann
ISCAS
2002
IEEE
94views Hardware» more  ISCAS 2002»
15 years 4 months ago
Modeling hot-electrons effects in silicon-on-sapphire MOSFETs
A unified, closed form analytical drain current model for partially and fully depleted SOS MOSFETs was investigated. The analytical model was developed using first order principle...
Eugenio Culurciello, Andreas G. Andreou, Philippe ...