Sciweavers

4074 search results - page 135 / 815
» Defining Computational Aesthetics
Sort
View
90
Voted
SIGCSE
1997
ACM
111views Education» more  SIGCSE 1997»
15 years 5 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
15 years 2 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
201
Voted
ASIAN
2009
Springer
363views Algorithms» more  ASIAN 2009»
15 years 1 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
91
Voted
TCS
2008
15 years 21 days 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
90
Voted
ANOR
2002
57views more  ANOR 2002»
15 years 20 days 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