Sciweavers

4074 search results - page 135 / 815
» Defining Computational Aesthetics
Sort
View
SIGCSE
1997
ACM
111views Education» more  SIGCSE 1997»
14 years 2 months ago
Function objects, function templates, and passage by behavior in C++
Passing functions and function objects to general routines is a powerful abstraction mechanism that should be taught in freshman computer science. In C++, a “function” can be ...
Richard Rasala
EUSFLAT
2001
13 years 11 months ago
Thermal comfort control based on fuzzy decision making
The paper describes a fuzzy decisionmalung approach to controlling thermal comfort in the occupied zones of an airconditioned building. The control objective is defined in terms o...
Richard Thompson, Arthur L. Dexter
ASIAN
2009
Springer
363views Algorithms» more  ASIAN 2009»
13 years 11 months ago
A Logic for Formal Verification of Quantum Programs
Abstract. This paper provides a Hoare-style logic for quantum computation. While the usual Hoare logic helps us to verify classical deterministic programs, our logic supports quant...
Yoshihiko Kakutani
TCS
2008
13 years 10 months ago
The moving curve ideal and the Rees algebra
These are notes for a lecture given at Ohio University on June 3, 2006. An important topic in commutative algebra is the Rees algebra of an ideal in a commutative ring. The Rees al...
David A. Cox
ANOR
2002
57views more  ANOR 2002»
13 years 10 months ago
Redefining Event Variables for Efficient Modeling of Continuous-Time Batch Processing
Abstract: We define events so as to reduce the number of events and decision variables needed for modeling batchscheduling problems such as described in [Westenberger and Kallrath ...
Siqun Wang, Monique Guignard