Sciweavers

13917 search results - page 62 / 2784
» Abstraction of Probabilistic Systems
Sort
View
ICFP
1999
ACM
15 years 2 months ago
Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)
d Abstract) Assaf J. Kfoury∗ Boston University http://www.cs.bu.edu/˜kfoury Harry G. Mairson† Brandeis University http://www.cs.brandeis.edu/˜mairson Franklyn A. Turbak‡ We...
Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Tur...
AUSAI
2004
Springer
15 years 3 months ago
Improving the Presentation of Argument Interpretations Based on User Trials
Abstract. The interpretation of complex discourse, such as arguments, is a difficult task that often requires validation, i.e., a system may need to present its interpretation of ...
Ingrid Zukerman, Michael Niemann, Sarah George
IAT
2009
IEEE
15 years 1 months ago
Efficient Distributed Bayesian Reasoning via Targeted Instantiation of Variables
Abstract--This paper is focusing on exact Bayesian reasoning in systems of agents, which represent weakly coupled processing modules supporting collaborative inference through mess...
Patrick de Oude, Gregor Pavlin
VLSISP
2008
134views more  VLSISP 2008»
14 years 9 months ago
Calibration of Abstract Performance Models for System-Level Design Space Exploration
ion of Abstract Performance Models for System-Level Design Space Exploration ANDY D. PIMENTEL, MARK THOMPSON, SIMON POLSTRA AND CAGKAN ERBAS Computer Systems Architecture Group, In...
Andy D. Pimentel, Mark Thompson, Simon Polstra, Ca...
WAW
2004
Springer
124views Algorithms» more  WAW 2004»
15 years 3 months ago
Fast PageRank Computation Via a Sparse Linear System (Extended Abstract)
ystem (Extended Abstract) Gianna M. Del Corso1 Antonio Gull´ı1,2 Francesco Romani1 1 Dipartimento di Informatica, University of Pisa, Italy 2 IIT-CNR, Pisa
Gianna M. Del Corso, Antonio Gulli, Francesco Roma...