911 search results - page 87 / 183 » The New Promise of Analog Computation |
ASM
2010
ASM
14 years 5 months ago
2010
ASM
Identifying a minimal unsatisfiable core in an Alloy model proved to be a very useful feature in many scenarios. We extend this concept to hot core, an approximation to unsat core...
TEI
2009
ACM
14 years 5 months ago
2009
ACM
Surfaces capable of modulating permeability have long been used in architecture for environmental control, but have remained largely unexplored as information displays. The advent...
ICALT
2007
IEEE
14 years 4 months ago
2007
IEEE
Applying Virtual Reality (VR) in combination with Intelligent Tutoring Systems (ITSs) is a promising approach to computer based learning and training. However, the classical struc...
ISORC
2006
IEEE
14 years 4 months ago
2006
IEEE
Integrated architectures promise substantial technical and economic benefits in the development of distributed embedded real-time systems. In the context of diagnosis new diagnos...
CIBCB
2005
IEEE
14 years 3 months ago
2005
IEEE
— With the invention of high throughput methods, researchers are capable of producing large amounts of biological data. During the analysis of such data, the need for a functiona...