Sciweavers

3856 search results - page 388 / 772
» Models for Automated Earthmoving
Sort
View
ITC
2003
IEEE
158views Hardware» more  ITC 2003»
16 years 2 days ago
Extraction Error Diagnosis and Correction in High-Performance Designs
Test model generation is crucial in the test generation process of a high-performance design targeted for large volume production. A key process in test model generation requires ...
Yu-Shen Yang, Jiang Brandon Liu, Paul J. Thadikara...
CHI
1999
ACM
15 years 11 months ago
Learning and Performing by Exploration: Label Quality Measured by Latent Semantic Analysis
Models of learning and performing by exploration assume that the semantic distance between task descriptions and screen labels controls in part the usersÕ search strategies. Neve...
Rodolfo Soto
171
Voted
ASPDAC
2007
ACM
144views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Control-Flow Aware Communication and Conflict Analysis of Parallel Processes
In this paper, we present an approach for control-flow aware communication and conflict analysis of systems of parallel communicating processes. This approach allows to determine ...
Axel Siebenborn, Alexander Viehl, Oliver Bringmann...
AAAI
2007
15 years 9 months ago
Learning by Combining Observations and User Edits
We introduce a new collaborative machine learning paradigm in which the user directs a learning algorithm by manually editing the automatically induced model. We identify a generi...
Vittorio Castelli, Lawrence D. Bergman, Daniel Obl...
ICCS
2007
Springer
15 years 8 months ago
Conceptual Graphs as Cooperative Formalism to Build and Validate a Domain Expertise
Abstract. This work takes place in the general context of the construction and validation of a domain expertise. It aims at the cooperation of two kinds of knowledge, heterogeneous...
Rallou Thomopoulos, Jean-François Baget, Ol...