Search Sciweavers | Sciweavers

10899 search results - page 188 / 2180

» The GP Programming System

127

Voted

HYBRID
1997
Springer

99views Control Systems» more HYBRID 1997»

Hybrid Dynamic Programming

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

126

Voted

ATAL
2006
Springer

142views Intelligent Agents» more ATAL 2006»

The complexity of model checking concurrent programs against CTLK specifications

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

112

Voted

VL
2005
IEEE

144views Visual Languages» more VL 2005»

Gestural Musical Improvisation and Programming

15 years 9 months 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 »

102

Voted

LCPC
2007
Springer

116views System Software» more LCPC 2007»

Capsules: Expressing Composable Computations in a Parallel Programming Model

15 years 9 months ago

Download etd.gatech.edu

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

claim paper