Search Sciweavers | Sciweavers

11022 search results - page 161 / 2205

» Programming Systems for Autonomy

140

click to vote

TACAS
2000
Springer

106views Algorithms» more TACAS 2000»

Verification of Parameterized Systems Using Logic Program Transformations

15 years 10 months ago

Download www.cs.sunysb.edu

Abhik Roychoudhury, K. Narayan Kumar, C. R. Ramakr...

claim paper

Read More »

139

click to vote

OOPSLA
1987
Springer

114views Security Privacy» more OOPSLA 1987»

Teaching Object-Oriented Programming with the KEE System

15 years 10 months ago

Download telearn.noe-kaleidoscope.org

Renate Kempf, Marilyn Stelzner

claim paper

Read More »

159

click to vote

ATAL
2008
Springer

111views Intelligent Agents» more ATAL 2008»

Protoswarm: a language for programming multi-robot systems using the amorphous medium abstraction

15 years 8 months ago

Download people.csail.mit.edu

Jonathan Bachrach, James McLurkin, Anthony Grue

claim paper

Read More »

136

click to vote

CEC
2005
IEEE

93views Artificial Intelligence» more CEC 2005»

Elevator group supervisory control system using genetic network programming with functional localization

15 years 8 months ago

Download www.fujipress.jp

Toru Eguchi, Kotaro Hirasawa, Jinglu Hu, Sandor Ma...

claim paper

Read More »

166

click to vote

EUROPAR
2008
Springer

110views Distributed And Parallel Com...» more EUROPAR 2008»

Towards an Intelligent Environment for Programming Multi-core Computing Systems

15 years 8 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers