Search Sciweavers | Sciweavers

31387 search results - page 210 / 6278

» Abstracts

154

click to vote

FM
1998
Springer

155views Formal Methods» more FM 1998»

Towards Comprehensive Tool Support for Abstract State Machines: The ASM Workbench Tool Environment and Architecture

15 years 10 months ago

Download www.eecs.umich.edu

Giuseppe Del Castillo

claim paper

Read More »

128

click to vote

PPSN
1998
Springer

95views Distributed And Parallel Com...» more PPSN 1998»

UEGO, an Abstract Niching Technique for Global Optimization

15 years 10 months ago

Download www.princeton.edu

Márk Jelasity

claim paper

Read More »

128

click to vote

PRICAI
1998
Springer

78views Artificial Intelligence» more PRICAI 1998»

Dynamic Non-uniform Abstractions for Approximate Planning in Large Structured Stochastic Domains

15 years 10 months ago

Download www.baum.com.au

Jiri Baum, Ann E. Nicholson

claim paper

Read More »

151

click to vote

ROBOCUP
1998
Springer

81views Robotics» more ROBOCUP 1998»

Using an Explicit Teamwork Model and Learning in RoboCup: An Extended Abstract

15 years 10 months ago

Download people.ict.usc.edu

Stacy Marsella, Jafar Adibi, Yaser Al-Onaizan, Ali...

claim paper

Read More »

132

click to vote

SAS
1998
Springer

65views Formal Methods» more SAS 1998»

Program Analysis as Model Checking of Abstract Interpretations

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers