883 search results - page 134 / 177 » The Semantics of Verilog Using Transition System Combinators |
ICCAD
2000
IEEE
14 years 1 months ago
2000
IEEE
Most hardware description frameworks, whether schematic or textual, use cooperating finite state machines (CFSM) as the underlying abstraction. In the CFSM framework, a designer ...
PERCOM
2009
ACM
14 years 3 months ago
2009
ACM
This paper outlines a series of experiments looking at the annotation and subsequent analysis of skills-based learning and teaching in the domain of Nursing. The experiments used ...
WIAMIS
2009
IEEE
14 years 3 months ago
2009
IEEE
This paper suggests an alternative solution for the task of spoken document retrieval (SDR). The proposed system runs retrieval on multi-level transcriptions (word and phone) prod...
ERCIMDL
2007
Springer
14 years 3 months ago
2007
Springer
Abstract. In this paper we present an approach to question answering over heterogeneous knowledge sources that makes use of different ontology management components within the sce...
ARTS
1999
Springer
14 years 1 months ago
1999
Springer
Published results show that various models may be obtained by combining parallel composition with probability and with or without non-determinism. In this paper we treat this probl...