Sciweavers

497 search results - page 64 / 100
» On combinations of local theory extensions
Sort
View
LPNMR
1990
Springer
15 years 6 months ago
The meaning of Negative Premises in Transition System Specifications
We present a general theory for the use of negative premises in the rules of Transition System Specifications (TSSs). We formulate a criterion that should be satisfied by a TSS in ...
Roland N. Bol, Jan Friso Groote
IJCAI
1989
15 years 3 months ago
Formal Properties and Implementation of Bidirectional Charts
Several theories of grammar currently converge toward inserting subcategorization information within lexical entries. Such a tendency would benefit from a parsing algorithm able t...
Giorgio Satta, Oliviero Stock
MM
2006
ACM
203views Multimedia» more  MM 2006»
15 years 7 months ago
Learning image manifolds by semantic subspace projection
In many image retrieval applications, the mapping between highlevel semantic concept and low-level features is obtained through a learning process. Traditional approaches often as...
Jie Yu, Qi Tian
JSAC
2008
140views more  JSAC 2008»
15 years 1 months ago
Optimality and Complexity of Pure Nash Equilibria in the Coverage Game
In this paper, we investigate the coverage problem in wireless sensor networks using a game theory method. We assume that nodes are randomly scattered in a sensor field and the goa...
Xin Ai, Vikram Srinivasan, Chen-Khong Tham
BMCBI
2007
114views more  BMCBI 2007»
15 years 2 months ago
Probabilistic prediction and ranking of human protein-protein interactions
Background: Although the prediction of protein-protein interactions has been extensively investigated for yeast, few such datasets exist for the far larger proteome in human. Furt...
Michelle S. Scott, Geoffrey J. Barton