Sciweavers

7206 search results - page 1164 / 1442
» Using a Hypermedia System for Systems Engineering
Sort
View
FMCO
2009
Springer
161views Formal Methods» more  FMCO 2009»
15 years 2 months ago
The How and Why of Interactive Markov Chains
This paper reviews the model of interactive Markov chains (IMCs, for short), an extension of labelled transition systems with exponentially delayed transitions. We show that IMCs a...
Holger Hermanns, Joost-Pieter Katoen
COLING
2010
14 years 11 months ago
A Learnable Constraint-based Grammar Formalism
Lexicalized Well-Founded Grammar (LWFG) is a recently developed syntacticsemantic grammar formalism for deep language understanding, which balances expressiveness with provable le...
Smaranda Muresan
OSN
2011
14 years 11 months ago
A distributed impairment aware QoS framework for all-optical networks
—Different physical impairments can occur in optical transmission systems. Impairments such as fiber nonlinear effects are dependent on network state and vary with traffic and to...
Wenhao Lin, Timothy Hahn, Richard S. Wolff, Brenda...
SYNTHESE
2011
72views more  SYNTHESE 2011»
14 years 11 months ago
Science without (parametric) models: the case of bootstrap resampling
Scientific and statistical inferences build heavily on explicit, parametric models, and often with good reasons. However, the limited scope of parametric models and the increasin...
Jan Sprenger
AGI
2011
14 years 8 months ago
The LIDA Framework as a General Tool for AGI
Intelligent software agents aiming for general intelligence are likely to be exceedingly complex systems and, as such, will be difficult to implement and to customize. Frameworks h...
Javier Snaider, Ryan James McCall, Stan Franklin
« Prev « First page 1164 / 1442 Last » Next »