5414 search results - page 1013 / 1083 » Exploratory Model Building |
148
click to vote
TACAS
2010
Springer
15 years 20 days ago
2010
Springer
Abstract. We extend the setting of Satisfiability Modulo Theories (SMT) by introducing a theory of costs C, where it is possible to model and reason about resource consumption and ...
128
Voted
ICCAD
2009
IEEE
15 years 16 days ago
2009
IEEE
Boolean satisfiability (SAT) based methods have traditionally been popular for formally verifying properties for digital circuits. We present a novel methodology for formulating a...
152
Voted
ICDM
2009
IEEE
15 years 16 days ago
2009
IEEE
There has been significant recent interest in sparse metric learning (SML) in which we simultaneously learn both a good distance metric and a low-dimensional representation. Unfor...
152
Voted
ICWSM
2009
15 years 15 days ago
2009
Hearing people argue opposing sides of an issue can be a useful way to understand the topic; however, these debates or conversations often don't exist. Unfortunately, generat...
194
Voted
GRID
2010
Springer
15 years 4 days ago
2010
Springer
The Grid paradigm of accessing heterogeneous distributed resources proved to be extremely effective, as many organizations are relying on Grid middlewares for their computational ...