Sciweavers

5232 search results - page 307 / 1047
» Generative modeling: a symbolic system for geometric modelin...
Sort
View
FORMATS
2003
Springer
15 years 12 months ago
Time-Optimal Test Cases for Real-Time Systems
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
Anders Hessel, Kim Guldstrand Larsen, Brian Nielse...
ARCS
2005
Springer
16 years 6 days ago
Adaptive Object Acquisition
We propose an active vision system for object acquisition. The core of our approach is a reinforcement learning module which learns a strategy to scan an object. The agent moves a...
Gabriele Peters, Claus-Peter Alberts, Markus Bries...
174
Voted
3DIC
2009
IEEE
146views Hardware» more  3DIC 2009»
16 years 1 months ago
A routerless system level interconnection network for 3D integrated systems
- This paper describes a new architectural paradigm for fully connected, single-hop system level interconnection networks. The architecture is scalable enough to meet the needs of ...
Kelli Ireland, Donald M. Chiarulli, Steven P. Levi...
AIED
2005
Springer
15 years 8 months ago
A Knowledge Acquisition System for Constraint-based Intelligent Tutoring Systems
Building a domain model consumes a major portion of the time and effort required for building an Intelligent Tutoring System. Past attempts at reducing the knowledge acquisition bo...
Pramuditha Suraweera, Antonija Mitrovic, Brent Mar...
ICDIM
2010
IEEE
15 years 4 months ago
Data mining and automatic OLAP schema generation
Data mining aims at extraction of previously unidentified information from large databases. It can be viewed as an automated application of algorithms to discover hidden patterns a...
Muhammad Usman, Sohail Asghar, Simon Fong