Sciweavers

2911 search results - page 8 / 583
» A Logic of Graph Constraints
Sort
View
TOG
2008
100views more  TOG 2008»
13 years 9 months ago
Interactive procedural street modeling
This paper addresses the problem of interactively modeling large street networks. We introduce a modeling framework that uses tensor fields to guide the generation of a street gra...
Guoning Chen, Gregory Esch, Peter Wonka, Pascal M&...
IJAR
2008
108views more  IJAR 2008»
13 years 9 months ago
Extending uncertainty formalisms to linear constraints and other complex formalisms
Linear constraints occur naturally in many reasoning problems and the information that they represent is often uncertain. There is a difficulty in applying AI uncertainty formalis...
Nic Wilson
TAGT
1998
Springer
317views Graph Theory» more  TAGT 1998»
14 years 2 months ago
A Fully Abstract Model for Graph-Interpreted Temporal Logic
Fabio Gadducci, Reiko Heckel, Manuel Koch
ICCAD
1994
IEEE
117views Hardware» more  ICCAD 1994»
14 years 1 months ago
Optimization of critical paths in circuits with level-sensitive latches
A simple extension of the critical path method is presented which allows more accurate optimization of circuits with level-sensitive latches. The extended formulation provides a s...
Timothy M. Burks, Karem A. Sakallah
CP
2006
Springer
14 years 1 months ago
Stochastic Allocation and Scheduling for Conditional Task Graphs in MPSoCs
This paper describes a complete and efficient solution to the stochastic allocation and scheduling for Multi-Processor System-on-Chip (MPSoC). Given a conditional task graph charac...
Michele Lombardi, Michela Milano