Sciweavers

10441 search results - page 1740 / 2089
» Performance modeling of heterogeneous systems
Sort
View
FMSD
2007
110views more  FMSD 2007»
15 years 6 months ago
Exploiting interleaving semantics in symbolic state-space generation
Symbolic techniques based on Binary Decision Diagrams (BDDs) are widely employed for reasoning about temporal properties of hardware circuits and synchronous controllers. However, ...
Gianfranco Ciardo, Gerald Lüttgen, Andrew S. ...
IJCV
2002
185views more  IJCV 2002»
15 years 6 months ago
Vision and the Atmosphere
Current vision systems are designed to perform in clear weather. Needless to say, in any outdoor application, there is no escape from "bad" weather. Ultimately, computer ...
Srinivasa G. Narasimhan, Shree K. Nayar
TVCG
2011
198views more  TVCG 2011»
15 years 1 months ago
Forecasting Hotspots - A Predictive Analytics Approach
—Current visual analytics systems provide users with the means to explore trends in their data. Linked views and interactive displays provide insight into correlations among peop...
Ross Maciejewski, Ryan Hafen, Stephen Rudolph, Ste...
SIGMOD
2011
ACM
250views Database» more  SIGMOD 2011»
14 years 9 months ago
Hybrid in-database inference for declarative information extraction
In the database community, work on information extraction (IE) has centered on two themes: how to effectively manage IE tasks, and how to manage the uncertainties that arise in th...
Daisy Zhe Wang, Michael J. Franklin, Minos N. Garo...
SIGSOFT
2005
ACM
16 years 7 months ago
Applying classification techniques to remotely-collected program execution data
There is an increasing interest in techniques that support measurement and analysis of fielded software systems. One of the main goals of these techniques is to better understand ...
Murali Haran, Alan F. Karr, Alessandro Orso, Adam ...
« Prev « First page 1740 / 2089 Last » Next »