Sciweavers

2478 search results - page 266 / 496
» Quadtrees as an Abstract Domain
Sort
View
SIGGRAPH
1995
ACM
15 years 10 months ago
Motion signal processing
Techniques from the image and signal processing domain can be successfully applied to designing, modifying, and adapting animated motion. For this purpose, we introduce multiresol...
Armin Bruderlin, Lance Williams
VL
1995
IEEE
110views Visual Languages» more  VL 1995»
15 years 10 months ago
Heterogeneous Visual Languages-Integrating Visual and Textual Programming
After more than a decade of research, visual languages have still not become everyday programming tools. On a short term, an integration of visual languages with well-established ...
Martin Erwig, Bernd Meyer
CPAIOR
2010
Springer
15 years 10 months ago
Automated Configuration of Mixed Integer Programming Solvers
Abstract. State-of-the-art solvers for mixed integer programming (MIP) problems are highly parameterized, and finding parameter settings that achieve high performance for specific ...
Frank Hutter, Holger H. Hoos, Kevin Leyton-Brown
EUROSSC
2009
Springer
15 years 10 months ago
Using Dempster-Shafer Theory of Evidence for Situation Inference
Abstract. In the domain of ubiquitous computing, the ability to identify the occurrence of situations is a core function of being ’contextaware’. Given the uncertain nature of ...
Susan McKeever, Juan Ye, Lorcan Coyle, Simon A. Do...
AAAI
2008
15 years 9 months ago
Loop Calculus for Satisfiability
Loop Calculus, introduced by Chertkov and Chernyak, is a new technique to incrementally improve approximations computed by Loopy Belief Propagation (LBP), with the ability to even...
Lukas Kroc, Michael Chertkov