1534 search results - page 112 / 307 » Error Reporting Logic |
149
click to vote
PPDP
2007
Springer
15 years 10 months ago
2007
Springer
The problem of mechanically formalizing and proving metatheoretic properties of programming language calculi, type systems, operational semantics, and related formal systems has r...
150
click to vote
WSC
1998
15 years 5 months ago
1998
Emulation is the process of exactly imitating a real system. Recent advances in simulation technology make it possible to emulate real world control systems by using a system'...
139
click to vote
DAS
2008
Springer
15 years 6 months ago
2008
Springer
We describe experimental results for unsupervised recognition of the textual contents of book-images using fully automatic mutual-entropy-based model adaptation. Each experiment s...
129
Voted
ICMCS
1999
IEEE
15 years 8 months ago
1999
IEEE
This paper reports on the development of a multimedia system to support collaborative design processes. The DrawStream Station was developedthrough acycle of observation of real w...
111
click to vote
WSC
2001
15 years 5 months ago
2001
This paper presents three methods implemented in the activity-based construction modeling and simulation (ABC) system for validating a construction simulation. The first method re...