Sciweavers

1929 search results - page 215 / 386
» A Problem Space Approach to Expert System Specification
Sort
View
ASPDAC
2007
ACM
123views Hardware» more  ASPDAC 2007»
15 years 8 months ago
Creating Explicit Communication in SoC Models Using Interactive Re-Coding
Communication exploration has become a critical step during SoC design. Researchers in the CAD community have proposed fast and efficient techniques for comprehensive design space ...
Pramod Chandraiah, Junyu Peng, Rainer Dömer
AAI
2005
166views more  AAI 2005»
15 years 4 months ago
Interactive Knowledge Construction in the Collaborative Building of an Encyclopedia
1 One of the major challenges of Applied Artificial Intelligence is to provide environments where high level human activities like learning, constructing theories or performing exp...
Philippe Lemoisson, Stefano A. Cerri
ECBS
2010
IEEE
209views Hardware» more  ECBS 2010»
15 years 8 months ago
Continuous Verification of Large Embedded Software Using SMT-Based Bounded Model Checking
The complexity of software in embedded systems has increased significantly over the last years so that software verification now plays an important role in ensuring the overall pr...
Lucas Cordeiro, Bernd Fischer 0002, João Ma...
CDC
2009
IEEE
186views Control Systems» more  CDC 2009»
15 years 8 months ago
Distributed function and time delay estimation using nonparametric techniques
In this paper we analyze the problem of estimating a function from different noisy data sets collected by spatially distributed sensors and subject to unknown temporal shifts. We p...
Damiano Varagnolo, Gianluigi Pillonetto, Luca Sche...
VDA
2010
169views Visualization» more  VDA 2010»
15 years 6 months ago
Techniques for precision-based visual analysis of projected data
The analysis of high-dimensional data is an important, yet inherently difficult problem. Projection techniques such as PCA, MDS, and SOM can be used to map high-dimensional data t...
Tobias Schreck, Tatiana von Landesberger, Sebastia...