Sciweavers

1266 search results - page 115 / 254
» AS Relationships: Inference and Validation
Sort
View
KR
1998
Springer
15 years 2 months ago
Local Models Semantics, or Contextual Reasoning = Locality + Compatibility
In this paper we present a new semantics, called Local Models Semantics, and use it to provide a foundation to reasoning with contexts. This semantics captures and makes precise t...
Fausto Giunchiglia, Chiara Ghidini
VLDB
1990
ACM
143views Database» more  VLDB 1990»
15 years 2 months ago
Synthesizing Database Transactions
Database programming requires having the knowledge of database semantics both to maintain database integrity and to explore more optimization opportunities. Automated programming ...
Xiaolei Qian
CONEXT
2007
ACM
15 years 1 months ago
Multipath live streaming via TCP: scheme, performance and benefits
Motivated by the wide use of TCP for streaming in practice and the increasing availability of multipath between end hosts, we study multipath live streaming via TCP in this paper....
Bing Wang, Wei Wei, Zheng Guo, Donald F. Towsley
IJCAI
2007
14 years 11 months ago
Incremental Construction of Structured Hidden Markov Models
This paper presents an algorithm for inferring a Structured Hidden Markov Model (S-HMM) from a set of sequences. The S-HMMs are a sub-class of the Hierarchical Hidden Markov Model...
Ugo Galassi, Attilio Giordana, Lorenza Saitta
IJCAI
2007
14 years 11 months ago
A Machine Learning Approach for Statistical Software Testing
Some Statistical Software Testing approaches rely on sampling the feasible paths in the control flow graph of the program; the difficulty comes from the tiny ratio of feasible p...
Nicolas Baskiotis, Michèle Sebag, Marie-Cla...