Sciweavers

17164 search results - page 2999 / 3433
» Applications of Sensor Networks
Sort
View
ANOR
2011
96views more  ANOR 2011»
15 years 1 months ago
Global propagation of side constraints for solving over-constrained problems
This article deals with the resolution of over-constrained problems using constraint programming, which often imposes to add to the constraint network new side constraints. These ...
Thierry Petit, Emmanuel Poder
CCR
2011
15 years 1 months ago
Session reports for SIGCOMM 2010
This document collects together reports of the sessions from the 2010 ACM SIGCOMM Conference, the annual conference of the ACM Special Interest Group on Data Communication (SIGCOM...
Shailesh Agrawal, Kavitha Athota, Pramod Bhatotia,...
JMLR
2010
182views more  JMLR 2010»
15 years 1 months ago
Decision Tree for Dynamic and Uncertain Data Streams
Current research on data stream classification mainly focuses on certain data, in which precise and definite value is usually assumed. However, data with uncertainty is quite natu...
Chunquan Liang, Yang Zhang, Qun Song
161
Voted
TOG
2010
157views more  TOG 2010»
15 years 1 months ago
Computer-generated residential building layouts
We present a method for automated generation of building layouts for computer graphics applications. Our approach is motivated by the layout design process developed in architectu...
Paul Merrell, Eric Schkufza, Vladlen Koltun
NFM
2011
335views Formal Methods» more  NFM 2011»
15 years 1 months ago
CORAL: Solving Complex Constraints for Symbolic PathFinder
Symbolic execution is a powerful automated technique for generating test cases. Its goal is to achieve high coverage of software. One major obstacle in adopting the technique in pr...
Matheus Souza, Mateus Borges, Marcelo d'Amorim, Co...
« Prev « First page 2999 / 3433 Last » Next »