3379 search results - page 456 / 676 » Combinators for Interaction Nets |
158
click to vote
VTS
2000
IEEE
15 years 11 months ago
2000
IEEE
We present a low-cost on-line test methodology for RTL controller-datapath pairs, based on the notion of path invariance. The fundamental observation supporting the proposed metho...
193
click to vote
ASM
2000
ASM
15 years 11 months ago
2000
ASM
We define the dynamic semantics of UML State Machines which integrate statecharts with the UML object model. The use of ASMs allows us (a) to rigorously model the event driven run...
178
click to vote
MM
1999
ACM
15 years 11 months ago
1999
ACM
The Informedia Digital Video Library contains over 2000 hours of video, growing at a rate of 15 hours per week. A good query engine is not sufficient for information retrieval bec...
158
click to vote
SIGCSE
1999
ACM
15 years 11 months ago
1999
ACM
We describe a Computer Science General Education course offered at Hope College. This course stressesproblem-solving. It uses traditional concepts of programming, but does it with...
172
click to vote
ICDAR
1999
IEEE
15 years 11 months ago
1999
IEEE
This paper concerns a study of information content in postal address fields for automatic address interpretation. Information provided by a combination of address components and i...