6020 search results - page 1092 / 1204 » A New Approach to Model Counting |
157
click to vote
ICDCSW
2007
IEEE
15 years 4 months ago
2007
IEEE
—Application mobility is an efficient way to mask uneven conditioning and reduce users’ distractions in pervasive environments. However, since mobility brings more dynamism and...
110
click to vote
AR
2007
15 years 4 months ago
2007
Neurodevelopmental Engineering is a new interdisciplinary research area at the intersection of developmental neuroscience and bioengineering, mainly concerned with quantitative an...
135
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
We consider a class of learning problems that involve a structured sparsityinducing norm defined as the sum of -norms over groups of variables. Whereas a lot of effort has been pu...
138
click to vote
CORR
2008
Springer
15 years 4 months ago
2008
Springer
: Wireless sensor/actuator networks (WSANs) are emerging as a new generation of sensor networks. Serving as the backbone of control applications, WSANs will enable an unprecedented...
123
click to vote
DEBU
2008
15 years 4 months ago
2008
We present the SQL Performance Analyzer, a novel approach in Oracle Database 11g to testing database changes, such as upgrades, parameter changes, schema changes, and gathering op...