Sciweavers

260 search results - page 37 / 52
» Degree constrained subgraphs
Sort
View
ICCAD
1996
IEEE
80views Hardware» more  ICCAD 1996»
14 years 18 days ago
Generalized constraint generation in the presence of non-deterministic parasitics
In a constraint-drivenlayout synthesisenvironment,parasitic constraints are generated and implemented in each phase of the design process to meet a given set of performance specif...
Edoardo Charbon, Paolo Miliozzi, Enrico Malavasi, ...
CSCW
2008
ACM
13 years 10 months ago
Deploying research technology in the home
Deploying research technology in real homes is an important way of uncovering new possibilities for design. We reflect upon the deployment of a simple technological arrangement wh...
Peter Tolmie, Andy Crabtree
FORMATS
2008
Springer
13 years 10 months ago
MTL with Bounded Variability: Decidability and Complexity
This paper investigates the properties of Metric Temporal Logic (MTL) over models in which time is dense but phenomena are constrained to have bounded variability. Contrary to the ...
Carlo A. Furia, Matteo Rossi
FLAIRS
2001
13 years 9 months ago
A Practical Markov Chain Monte Carlo Approach to Decision Problems
Decisionand optimizationproblemsinvolvinggraphsarise in manyareas of artificial intelligence, including probabilistic networks, robot navigation, and network design. Manysuch prob...
Timothy Huang, Yuriy Nevmyvaka
CORR
2006
Springer
117views Education» more  CORR 2006»
13 years 8 months ago
The Gaussian Multiple Access Wire-Tap Channel with Collective Secrecy Constraints
We consider the Gaussian Multiple Access Wire-Tap Channel (GMAC-WT). In this scenario, multiple users communicate with an intended receiver in the presence of an intelligent and in...
Ender Tekin, Aylin Yener