Sciweavers

2631 search results - page 366 / 527
» A Practical Method for the Sparse Resultant
Sort
View
DATE
2000
IEEE
88views Hardware» more  DATE 2000»
15 years 9 months ago
Free MDD-Based Software Optimization Techniques for Embedded Systems
Embedded systems make a heavy use of software to perform Real-Time embedded control tasks. Embedded software is characterized by a relatively long lifetime and by tight cost, perf...
Chunghee Kim, Luciano Lavagno, Alberto L. Sangiova...
ICRA
1993
IEEE
102views Robotics» more  ICRA 1993»
15 years 8 months ago
Automatic Reteach of Manipulators for Manufacturing Multiple Product Lines
Ordinarily, a robot workspace has insufficientroom to allow the setup of multiple applications simultaneously. As a result, it is common practice to use modular fixtures which hol...
Louis J. Everett, James C. Colson
DASFAA
2007
IEEE
148views Database» more  DASFAA 2007»
15 years 8 months ago
Schema Mapping in P2P Networks Based on Classification and Probing
In this paper, we address the problems of adaptive schema mappings between different peers in peer-to-peer network and searching for interesting data residing at different peers ba...
Guoliang Li, Beng Chin Ooi, Bei Yu, Lizhu Zhou
FMCAD
2007
Springer
15 years 8 months ago
Improved Design Debugging Using Maximum Satisfiability
In today's SoC design cycles, debugging is one of the most time consuming manual tasks. CAD solutions strive to reduce the inefficiency of debugging by identifying error sourc...
Sean Safarpour, Hratch Mangassarian, Andreas G. Ve...
CIKM
2006
Springer
15 years 8 months ago
IR principles for content-based indexing and retrieval of functional brain images
In this paper, we explore the concept of a "library of brain images", which implies not only a repository of brain images, but also efficient search and retrieval mechan...
Bing Bai, Paul B. Kantor, Nicu D. Cornea, Deborah ...