Sciweavers

23036 search results - page 147 / 4608
» Sketching informal presentations
Sort
View
ASM
2005
ASM
16 years 1 days ago
RAM Simulation of BGS Model of Abstract State Machines
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
Seshadhri Comandur, Anil Seth, Somenath Biswas
BIRTHDAY
2005
Springer
16 years 1 days ago
Objective Bayesian Nets
I present a formalism that combines two methodologies: objective Bayesianism and Bayesian nets. According to objective Bayesianism, an agent’s degrees of belief (i) ought to sat...
Jon Williamson
CP
2005
Springer
16 years 1 days ago
CP(Graph): Introducing a Graph Computation Domain in Constraint Programming
Abstract. In an increasing number of domains such as bioinformatics, combinatorial graph problems arise. We propose a novel way to solve these problems, mainly those that can be tr...
Grégoire Dooms, Yves Deville, Pierre Dupont
HPCC
2005
Springer
16 years 20 hour ago
Detonation Structure Simulation with AMROC
Abstract. Numerical simulations can be the key to the thorough understanding of the multi-dimensional nature of transient detonation waves. But the accurate approximation of realis...
Ralf Deiterding
CDVE
2004
Springer
135views Visualization» more  CDVE 2004»
15 years 12 months ago
Multimodal Interaction in a Collaborative Virtual Brainstorming Environment
Abstract. In this paper we present our work in setting up a collaborative virtual environment (CVE) framework which is built to support collaborative creative meetings for geograph...
Fabian Di Fiore, Peter Vandoren, Frank Van Reeth