Sciweavers

2451 search results - page 324 / 491
» The Octagon Abstract Domain
Sort
View
SELMAS
2004
Springer
15 years 9 months ago
Integrating Free-Flow Architectures with Role Models Based on Statecharts
Abstract. Engineering non-trivial open multi-agent systems is a challenging task. Our research focusses on situated multi-agent systems, i.e. systems in which agents are explicitly...
Danny Weyns, Elke Steegmans, Tom Holvoet
NAR
2006
100views more  NAR 2006»
15 years 4 months ago
StellaBase: The Nematostella vectensis Genomics Database
ted Talks and Poster Abstracts S1, T1 Title: Evolution of the Mammalian Lamin A Gene Author: Susan N. LoCurto and Dorothy E. Pumo Affiliation: Hofstra University, Department of Bio...
James C. Sullivan, Joseph F. Ryan, James A. Watson...
TITB
1998
129views more  TITB 1998»
15 years 4 months ago
Interactive DICOM image transmission and telediagnosis over the European ATM network
Abstract— The European High-Performance Information Infrastructure in Medicine, nB3014 (HIM3) project of the Trans-European Network—Integrated Broadband Communications (TEN-IB...
Emanuele Neri, Jean-Philippe Thiran, Davide Carame...
ICFP
2009
ACM
16 years 5 months ago
Causal commutative arrows and their optimization
re a popular form of abstract computation. Being more general than monads, they are more broadly applicable, and in parare a good abstraction for signal processing and dataflow co...
Hai Liu, Eric Cheng, Paul Hudak
ACG
2009
Springer
15 years 11 months ago
Monte-Carlo Tree Search in Settlers of Catan
Abstract. Games are considered important benchmark tasks of artificial intelligence research. Modern strategic board games can typically be played by three or more people, which m...
Istvan Szita, Guillaume Chaslot, Pieter Spronck