Search Sciweavers | Sciweavers

10899 search results - page 188 / 2180

» The GP Programming System

164

click to vote

HYBRID
1997
Springer

99views Control Systems» more HYBRID 1997»

Hybrid Dynamic Programming

15 years 10 months ago

Download www.clearsightsystems.com

In this paper we outline the derivation of a hybrid Hamilton-JacobiBellman equation for our Multiple Agent Hybrid Control Architecture (MACHA) [5, 4] and a hybrid system dynamic p...

Wolf Kohn, Jeffrey B. Remmel

claim paper

Read More »

160

click to vote

ATAL
2006
Springer

142views Intelligent Agents» more ATAL 2006»

The complexity of model checking concurrent programs against CTLK specifications

15 years 10 months ago

Download www.doc.ic.ac.uk

This paper presents complexity results for model checking concurrent programs against temporal-epistemic formulae. We apply these results to evaluate the complexity of verifying p...

Alessio Lomuscio, Franco Raimondi

claim paper

Read More »

152

click to vote

VL
2005
IEEE

144views Visual Languages» more VL 2005»

Gestural Musical Improvisation and Programming

16 years 2 days ago

Download media.igert.ucsb.edu

We present a human-centered gestural system for musical improvisation, MIND. We demonstrate the relationship between music composition and programming. Preliminary field data from...

Peter Khooshabeh, Ethan Smith, John Thomspon

claim paper

Read More »

135

click to vote

LCPC
2007
Springer

116views System Software» more LCPC 2007»

Capsules: Expressing Composable Computations in a Parallel Programming Model

16 years 19 days ago

Download etd.gatech.edu

Hasnain A. Mandviwala, Umakishore Ramachandran, Ka...

claim paper