Sciweavers

209 search results - page 15 / 42
» ideal 2009
Sort
View
COSIT
2009
Springer
144views GIS» more  COSIT 2009»
15 years 2 months ago
Are Places Concepts? Familarity and Expertise Effects in Neighborhood Cognition
Named urban neighborhoods (localities) are often examples of vague place extents. These are compared with current knowledge of vagueness in concepts and categories within semantic ...
Clare Davies
MKM
2009
Springer
15 years 2 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller
OOPSLA
2009
Springer
15 years 2 months ago
Software evolution and the moving picture metaphor
Software systems evolve over time. Currently we do not do a good job of documenting this evolution. This essay discusses the need to better document software evolution and introdu...
Mark Mahoney
CDC
2009
IEEE
128views Control Systems» more  CDC 2009»
14 years 10 months ago
Feedback generation of quantum Fock states by discrete QND measures
A feedback scheme for preparation of photon number states in a microwave cavity is proposed. Quantum Non Demolition (QND) measurement of the cavity field provides information on it...
Mazyar Mirrahimi, Igor Dotsenko, Pierre Rouchon
82
Voted
CSREAESA
2009
14 years 10 months ago
Application of Embedded Systems in Low Earth Orbit for Measurement of Ionospheric Anomalies
: Space is a hazardous environment for both man and machine and to explore such a terrain a rugged, yet easily implementable, platform is needed. Low-cost, low-power embedded syste...
George J. Starr, J. M. Wersinger, Richard Chapman,...