Sciweavers

2436 search results - page 285 / 488
» Comonadic Notions of Computation
Sort
View
INFOSCALE
2007
ACM
15 years 8 months ago
BUST: enabling scalable service orchestration
Service-Orientation (SO) is a design and integration paradigm that is based on the notion of well defined, loosely coupled services. Within SO, services are viewed as computation...
Dong Liu, Ralph Deters
FPLAY
2008
15 years 8 months ago
A framework for games literacy and understanding games
Based on research that studied the challenges and difficulties faced by students taking games studies and game design courses, we propose that, while many students enrolled in gam...
José Pablo Zagal
NIPS
2008
15 years 8 months ago
Beyond Novelty Detection: Incongruent Events, when General and Specific Classifiers Disagree
Unexpected stimuli are a challenge to any machine learning algorithm. Here we identify distinct types of unexpected events, focusing on 'incongruent events' when 'g...
Daphna Weinshall, Hynek Hermansky, Alon Zweig, Jie...
SODA
2000
ACM
123views Algorithms» more  SODA 2000»
15 years 8 months ago
Communication complexity of document exchange
We address the problem of minimizing the communication involved in the exchange of similar documents. We consider two users, A and B, who hold documents x and y respectively. Neit...
Graham Cormode, Mike Paterson, Süleyman Cenk ...
ATVA
2010
Springer
125views Hardware» more  ATVA 2010»
15 years 7 months ago
Using Redundant Constraints for Refinement
Abstract. This paper is concerned with a method for computing reachable sets of linear continuous systems with uncertain input. Such a method is required for verification of hybrid...
Eugene Asarin, Thao Dang, Oded Maler, Romain Testy...