Sciweavers

43264 search results - page 428 / 8653
» Comparing models of computation
Sort
View
COCO
2008
Springer
129views Algorithms» more  COCO 2008»
15 years 6 months ago
Constraint Logic: A Uniform Framework for Modeling Computation as Games
We introduce a simple game family, called Constraint Logic, where players reverse edges in a directed graph while satisfying vertex in-flow constraints. This game family can be in...
Erik D. Demaine, Robert A. Hearn
114
Voted
CPHYSICS
2008
80views more  CPHYSICS 2008»
15 years 5 months ago
Fast clear-sky solar irradiation computation for very large digital elevation models
This paper presents a fast algorithm to compute the global clear-sky irradiation, appropriate for extended high-resolution Digital Elevation Models (DEMs). The latest equations pu...
Luis F. Romero, Siham Tabik, Jesús M. V&iac...
135
Voted
CRYPTO
2009
Springer
121views Cryptology» more  CRYPTO 2009»
15 years 11 months ago
Collusion-Free Multiparty Computation in the Mediated Model
Collusion-free protocols prevent subliminal communication (i.e., covert channels) between parties running the protocol. In the standard communication model, if one-way functions ex...
Joël Alwen, Jonathan Katz, Yehuda Lindell, Gi...
MODELS
2007
Springer
15 years 11 months ago
Model-Based Design of Computer-Controlled Game Character Behavior
Recently, the complexity of modern, real-time computer games has increased drastically. The need for sophisticated game AI, in particular for Non-Player Characters, grows with the ...
Jörg Kienzle, Alexandre Denault, Hans Vanghel...
149
Voted
MSWIM
2006
ACM
15 years 11 months ago
Performance modeling of critical event management for ubiquitous computing applications
A generic theoretical framework for managing critical events in ubiquitous computing systems is presented. The main idea is to automatically respond to occurrences of critical eve...
Tridib Mukherjee, Krishna M. Venkatasubramanian, S...