Sciweavers

282 search results - page 54 / 57
» Quantitative Languages
Sort
View
CASES
2006
ACM
14 years 1 months ago
Reaching fast code faster: using modeling for efficient software thread integration on a VLIW DSP
When integrating software threads together to boost performance on a processor with instruction-level parallel processing support, it is rarely clear which code regions should be ...
Won So, Alexander G. Dean
AAAI
2006
13 years 11 months ago
Decision Making in Uncertain Real-World Domains Using DT-Golog
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
Mikhail Soutchanski, Huy Pham, John Mylopoulos
AAAI
2010
13 years 11 months ago
A Two-Dimensional Topic-Aspect Model for Discovering Multi-Faceted Topics
This paper presents the Topic-Aspect Model (TAM), a Bayesian mixture model which jointly discovers topics and aspects. We broadly define an aspect of a document as a characteristi...
Michael Paul, Roxana Girju
CONCUR
2010
Springer
13 years 11 months ago
Obliging Games
Abstract. Graph games of infinite length provide a natural model for open reactive systems: one player (Eve) represents the controller and the other player (Adam) represents the en...
Krishnendu Chatterjee, Florian Horn, Christof L&ou...
BMCBI
2008
118views more  BMCBI 2008»
13 years 10 months ago
Drug interaction prediction using ontology-driven hypothetical assertion framework for pathway generation followed by numerical
Background: In accordance with the increasing amount of information concerning individual differences in drug response and molecular interaction, the role of in silico prediction ...
Takeshi Arikuma, Sumi Yoshikawa, Ryuzo Azuma, Kent...