Sciweavers

6775 search results - page 328 / 1355
» Diagnosis of Active Systems
Sort
View
DAC
2010
ACM
15 years 5 months ago
SCEMIT: a systemc error and mutation injection tool
As high-level models in C and SystemC are increasingly used for verification and even design (through high-level synthesis) of electronic systems, there is a growing need for com...
Peter Lisherness, Kwang-Ting (Tim) Cheng
ISER
1999
Springer
108views Robotics» more  ISER 1999»
15 years 11 months ago
Combination of Several Vision Sensors for Interpretation of Human Actions
: In this paper we describe how the combination of several vision sensors can be used to track multiple human targets in a typical surveillance situation. The experimental system d...
Paulo Peixoto, Jorge Batista, Helder Araújo...
162
Voted
CSCW
2004
ACM
15 years 6 months ago
A Historical View of Context
This paper re
Matthew Chalmers
BMCBI
2006
127views more  BMCBI 2006»
15 years 6 months ago
PathogenMIPer: a tool for the design of molecular inversion probes to detect multiple pathogens
Background: Here we describe PathogenMIPer, a software program for designing molecular inversion probe (MIP) oligonucleotides for use in pathogen identification and detection. The...
Sreedevi Thiyagarajan, Miloslav Karhanek, Michael ...
ELPUB
2007
ACM
15 years 10 months ago
Digital Archives at the University of Pisa
At the end of the '90s, the Library System Centre of the University of Pisa began to create a system of digital archives in order to enhance and promote the Institution activ...
Cinzia Bucchioni, Zanetta Pistelli, Barbara Pistoi...