Sciweavers

924 search results - page 108 / 185
» A Probabilistic Approach to Language Change
Sort
View
PUK
2001
15 years 4 months ago
Plan Representation and Plan Execution in Multi-agent Systems for Robot Control
Hardware agents as a part of cooperative multi-agent systems act in dynamically changing environments and accomplish tasks jointly. Since the pure hybrid plan representation provid...
Alexander Osherenko
CORR
1999
Springer
59views Education» more  CORR 1999»
15 years 3 months ago
HMM Specialization with Selective Lexicalization
We present a technique which complements Hidden Markov Models by incorporating some lexicalized states representing syntactically uncommon words. 'Our approach examines the d...
Jin-Dong Kim, Sang-Zoo Lee, Hae-Chang Rim
JELIA
2004
Springer
15 years 8 months ago
Reasoning About Quantum Systems
Abstract. A new logic is proposed for reasoning about quantum systems. The logic embodies the postulates of quantum physics and it was designed from the semantics upwards by identi...
Paulo Mateus, Amílcar Sernadas
IJEIS
2010
80views more  IJEIS 2010»
15 years 17 days ago
Semantics for Accurate Conflict Detection in SMoVer: Specification, Detection and Presentation by Example
In collaborative software development the utilization of Version Control Systems (VCSs) is a must. For this, a multitude of pessimistic as well as optimistic VCSs for model artifa...
Kerstin Altmanninger, Wieland Schwinger, Gabriele ...
PLDI
1996
ACM
15 years 7 months ago
Realistic Compilation by Partial Evaluation
Two key steps in the compilation of strict functional languages are the conversion of higher-order functions to data structures (closures) and the transformation to tail-recursive...
Michael Sperber, Peter Thiemann