Sciweavers

1081 search results - page 143 / 217
» Working with the LR Degrees
Sort
View
VIP
2000
15 years 2 months ago
A Fuzzy Rule-Based Interactive Methodology for Training Multimedia Actors
Computer animation has come a long way during the last decade and is now capable of producing near-realistic rendered 3D computer graphics models of expressive, talking, acting hu...
Savant Karunaratne, Hong Yan
192
Voted
DICTA
2009
15 years 1 months ago
Improved Single Image Dehazing Using Geometry
Images captured in foggy weather conditions exhibit losses in quality which are dependent on distance. If the depth and atmospheric conditions are known, one can enhance the images...
Peter Carr, Richard Hartley
APLAS
2010
ACM
15 years 27 days ago
Amortized Resource Analysis with Polymorphic Recursion and Partial Big-Step Operational Semantics
This paper studies the problem of statically determining upper bounds on the resource consumption of first-order functional programs. A previous work approached the problem with an...
Jan Hoffmann 0002, Martin Hofmann
102
Voted
MOBIDE
2010
ACM
15 years 26 days ago
Minimum-hot-spot query trees for wireless sensor networks
We propose a distributed algorithm to construct a balanced communication tree that serves in gathering data from the network nodes to a sink. Our algorithm constructs a near-optim...
Georgios Chatzimilioudis, Demetrios Zeinalipour-Ya...
115
Voted
GLVLSI
2008
IEEE
150views VLSI» more  GLVLSI 2008»
15 years 24 days ago
Using unsatisfiable cores to debug multiple design errors
Due to the increasing complexity of today's circuits a high degree of automation in the design process is mandatory. The detection of faults and design errors is supported qu...
André Sülflow, Görschwin Fey, Rod...