Sciweavers

3856 search results - page 155 / 772
» Models for Automated Earthmoving
Sort
View
112
Voted
DAC
1998
ACM
16 years 7 months ago
Virtual Chip: Making Functional Models Work on Real Target Systems
Namseung Kim, Hoon Choi, Seungjong Lee, Seungwang ...
DAC
2000
ACM
16 years 7 months ago
YAPI: application modeling for signal processing systems
Erwin A. de Kock, W. J. M. Smits, Pieter van der W...
ESSLLI
1999
Springer
15 years 10 months ago
A Dynamic View on Model Construction for Discourse Interpretation
In this paper I take a dynamic view in the spirit of the update semantics by Veltman (1996) on the first–order model construction procedure presented by Manthey and Bry (1988)....
Michael Kuhn
163
Voted
FLAIRS
2006
15 years 7 months ago
Formal Verification of Cognitive Models
Cognitive modeling has outgrown the toy problems of the research labs and is increasingly tackling Industrial size applications. This growth is not matched in terms of software to...
A. MacKlem, Fatma Mili
150
Voted
PLILP
1993
Springer
15 years 10 months ago
An OR Parallel Prolog Model for Distributed Memory Systems
This paper shows a multisequential model to exploit OR parallelism on distributed memory systems. It presents an implementation of the incremental copy mechanism oriented to distr...
Vicente Benjumea, José M. Troya