Sciweavers

3561 search results - page 208 / 713
» Design: One, but in different forms
Sort
View
FPL
2006
Springer
91views Hardware» more  FPL 2006»
15 years 10 months ago
Multi-Bit Carry Chains for High-Performance Reconfigurable Fabrics
Ripple-carry architectures are the norm in today's reconfigurable fabrics. They are simple, require minimal routing, and are easily formed across arbitrary cells in a fabric....
Michael T. Frederick, Arun K. Somani
CLIMA
2004
15 years 8 months ago
Planning Experiments in the DALI Logic Programming Language
We discuss some features of the new logic programming language DALI for agents and multi-agent systems. In particular, we aim at illustrating the treatment of proactivity, which is...
Stefania Costantini, Arianna Tocchio
ACL
2001
15 years 8 months ago
Error Profiling: Toward a Model of English Acquisition for Deaf Learners
In this paper we discuss our approach toward establishing a model of the acquisition of English grammatical structures by users of our English language tutoring system, which has ...
Lisa N. Michaud, Kathleen F. McCoy
AAECC
2010
Springer
114views Algorithms» more  AAECC 2010»
15 years 6 months ago
Termination of narrowing via termination of rewriting
Abstract Narrowing extends rewriting with logic capabilities by allowing logic variables in terms and by replacing matching with unification. Narrowing has been widely used in diff...
Naoki Nishida, Germán Vidal
INFSOF
2006
158views more  INFSOF 2006»
15 years 6 months ago
DEVSpecL: DEVS specification language for modeling, simulation and analysis of discrete event systems
Discrete EVent Systems Specification (DEVS) formalism supports specification of discrete event models in a hierarchical modular manner. This paper proposes a DEVS modeling languag...
Ki Jung Hong, Tag Gon Kim