Search Sciweavers | Sciweavers

10899 search results - page 188 / 2180

» The GP Programming System

177

Voted

HYBRID
1997
Springer

99views Control Systems» more HYBRID 1997»

Hybrid Dynamic Programming

15 years 11 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 »

173

Voted

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 »

166

Voted

VL
2005
IEEE

144views Visual Languages» more VL 2005»

Gestural Musical Improvisation and Programming

16 years 17 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 »

149

click to vote

LCPC
2007
Springer

116views System Software» more LCPC 2007»

Capsules: Expressing Composable Computations in a Parallel Programming Model

16 years 1 months ago

Download etd.gatech.edu

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

claim paper