Sciweavers

313 search results - page 22 / 63
» Addressing Moral Problems Through Practical Reasoning
Sort
View
DELTA
2002
IEEE
14 years 1 months ago
Teaching Integrated Circuit and Semiconductor Device Design in New Zealand: The University of Canterbury Approach
Teaching the practical aspects of device and chip design in New Zealand presents many problems, including high manufacturing costs, long lead times, and the lack of local industry...
Richard J. Blaikie, Maan M. Alkaisi, Steven M. Dur...
LPAR
2010
Springer
13 years 6 months ago
Synthesis of Trigger Properties
In automated synthesis, we transform a specification into a system that is guaranteed to satisfy the specification. In spite of the rich theory developed for temporal synthesis, l...
Orna Kupferman, Moshe Y. Vardi
HEURISTICS
2008
136views more  HEURISTICS 2008»
13 years 7 months ago
Enhancing set constraint solvers with lexicographic bounds
Since their beginning in constraint programming, set solvers have been applied to a wide range of combinatorial search problems, such as bin-packing, set partitioning, circuit desi...
Andrew Sadler, Carmen Gervet
AIIDE
2006
13 years 10 months ago
Lightweight Simulation of Air Traffic Control Using Simple Temporal Networks
Flight simulators are becoming more sophisticated and realistic, and the requirements of those using them are becoming more demanding. Air traffic control simulation for such simu...
Russell Knight
ICANN
2003
Springer
14 years 1 months ago
An Intelligent Scheme for Facial Expression Recognition
: This paper addresses the problem of emotion recognition in faces through an intelligent neuro-fuzzy system, which is capable of analysing facial features extracted following the ...
Amaryllis Raouzaiou, Spiros Ioannou, Kostas Karpou...