Sciweavers

2373 search results - page 371 / 475
» Towards a Model of Computer Systems Research
Sort
View
CAV
2009
Springer
165views Hardware» more  CAV 2009»
16 years 5 months ago
Symbolic Counter Abstraction for Concurrent Software
Counter Abstraction for Concurrent Software G?erard Basler1 , Michele Mazzucchi1 , Thomas Wahl1,2 , Daniel Kroening1,2 1 Computer Systems Institute, ETH Zurich, Switzerland 2 Compu...
Daniel Kroening, Gérard Basler, Michele Maz...
154
Voted
GECCO
2006
Springer
220views Optimization» more  GECCO 2006»
15 years 8 months ago
Comparing evolutionary algorithms on the problem of network inference
In this paper, we address the problem of finding gene regulatory networks from experimental DNA microarray data. We focus on the evaluation of the performance of different evoluti...
Christian Spieth, Rene Worzischek, Felix Streicher...
AVI
2004
15 years 6 months ago
Visualizing programs with Jeliot 3
We present a program visualization tool called Jeliot 3 that is designed to aid novice students to learn procedural and object oriented programming. The key feature of Jeliot is t...
Andrés Moreno, Niko Myller, Erkki Sutinen, ...
130
Voted
MC
2001
116views Computer Science» more  MC 2001»
15 years 6 months ago
Emotions and Multimodal Interface-Agents: A Sociological View
Designing human-computer interfaces that are easy and intuitive to use is important for the use of computer technology in general. Due to the growing complexity of information sys...
Daniel Moldt, Christian von Scheve
ICPR
2006
IEEE
16 years 5 months ago
Binocular Hand Tracking and Reconstruction Based on 2D Shape Matching
This paper presents a method for real-time 3D hand tracking in images acquired by a calibrated, possibly moving stereoscopic rig. The proposed method consists of a collection of t...
Antonis A. Argyros, Manolis I. A. Lourakis