Sciweavers

807 search results - page 51 / 162
» Modeling Hybrid Domains Using Process Description Language
Sort
View
134
Voted
FDL
2006
IEEE
15 years 6 months ago
Verification-Oriented Behavioral Modeling of Non-Linear Analog
In this work, an approach to the `verification-oriented' modeling of the analog parts' behavior of mixed-signal circuits is presented. Starting from a continuous-time, c...
Martin Freibothe, Jens Doege, Torsten Coym, Stefan...
147
Voted
ICASSP
2007
IEEE
15 years 9 months ago
A New Technique for High-Resolution Frequency Domain Optical Coherence Tomography
Frequency domain optical coherence tomography (FDOCT) is a new technique that is well-suited for fast imaging of biological specimens, as well as non-biological objects. The measu...
S. Chandra Sekhar, Himanshu Nazkani, Thierry Blu, ...
158
Voted
ASM
2008
ASM
15 years 4 months ago
Modeling Workflows, Interaction Patterns, Web Services and Business Processes: The ASM-Based Approach
Abstract. We survey the use of the Abstract State Machines (ASM) method for a rigorous foundation of modeling and validating web services, workflows, interaction patterns and busin...
Egon Börger, Bernhard Thalheim
120
Voted
ICASSP
2011
IEEE
14 years 6 months ago
POMDP concept policies and task structures for hybrid dialog management
We address several challenges for applying statistical dialog managers based on Partially Observable Markov Models to real world problems: to deal with large numbers of concepts, ...
Sebastian Varges, Giuseppe Riccardi, Silvia Quarte...
114
Voted
TNN
1998
125views more  TNN 1998»
15 years 2 months ago
Symbolic connectionism in natural language disambiguation
Abstract—Natural language understanding involves the simultaneous consideration of a large number of different sources of information. Traditional methods employed in language an...
Samuel W. K. Chan, James Franklin