Sciweavers

5054 search results - page 193 / 1011
» How designers design and program interactive behaviors
Sort
View
CORR
2004
Springer
111views Education» more  CORR 2004»
15 years 7 months ago
FLUX: A Logic Programming Method for Reasoning Agents
FLUX is a programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledge. The core of FLUX is...
Michael Thielscher
ASPLOS
2006
ACM
16 years 1 months ago
Type inference for unboxed types and first class mutability
Systems programs rely on fine-grain control of data representation and use of state to achieve performance, conformance to hardware specification, and temporal predictability. T...
Swaroop Sridhar, Jonathan S. Shapiro
CHI
2008
ACM
16 years 7 months ago
Creativity interventions: physical-digital activities for promoting group creativity
Arizona State University's Arts, Media, and Engineering Program is currently addressing the need to assess the growth of group creativity in trans-disciplinary collaboration....
Lisa M. Tolentino, Aisling Kelliher, David Birchfi...
UIST
2005
ACM
16 years 19 days ago
Citrus: a language and toolkit for simplifying the creation of structured editors for code and data
Direct-manipulation editors for structured data are increasingly common. While such editors can greatly simplify the creation of structured data, there are few tools to simplify t...
Andrew Jensen Ko, Brad A. Myers
SIGSOFT
2007
ACM
16 years 7 months ago
State coverage: a structural test adequacy criterion for behavior checking
We propose a new language-independent, structural test adequacy criterion called state coverage. State coverage measures whether unit-level tests check the outputs and side effect...
Ken Koster, David Kao