Sciweavers

13026 search results - page 2315 / 2606
» Probabilistic Relational Models
Sort
View
ISAAC
1992
Springer
132views Algorithms» more  ISAAC 1992»
15 years 8 months ago
Generalized Assignment Problems
In the multilevel generalized assignment problem (MGAP) agents can perform tasks at more than one efficiency level. Important manufacturing problems, such as lot sizing, can be ea...
Silvano Martello, Paolo Toth
ICDT
1990
ACM
110views Database» more  ICDT 1990»
15 years 8 months ago
Beginnings of a Theory of General Database Completions
Ordinary logical implication is not enough for answering queries in a logic database, since especially negative information is only implicitly represented in the database state. M...
Stefan Brass
PODC
1990
ACM
15 years 8 months ago
Half-Order Modal Logic: How to Prove Real-Time Properties
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
Thomas A. Henzinger
POPL
1990
ACM
15 years 8 months ago
Higher-Order Modules and the Phase Distinction
Typed -calculus is an important tool in programming language research because it provides an extensible framework for studying language features both in isolation and in their rel...
Robert Harper, John C. Mitchell, Eugenio Moggi
143
Voted
ACCV
2007
Springer
15 years 8 months ago
Statistical Framework for Shot Segmentation and Classification in Sports Video
In this paper, a novel statistical framework is proposed for shot segmentation and classification. The proposed framework segments and classifies shots simultaneously using same di...
Ying Yang, Shouxun Lin, Yongdong Zhang, Sheng Tang
« Prev « First page 2315 / 2606 Last » Next »