Sciweavers

1140 search results - page 175 / 228
» human 2003
Sort
View
139
Voted
VLSID
2003
IEEE
180views VLSI» more  VLSID 2003»
16 years 4 months ago
Automating Formal Modular Verification of Asynchronous Real-Time Embedded Systems
Most verification tools and methodologies such as model checking, equivalence checking, hardware verification, software verification, and hardware-software coverification often fl...
Pao-Ann Hsiung, Shu-Yu Cheng
133
Voted
RECOMB
2003
Springer
16 years 4 months ago
Transforming men into mice: the Nadeau-Taylor chromosomal breakage model revisited
Although analysis of genome rearrangements was pioneered by Dobzhansky and Sturtevant 65 years ago, we still know very little about the rearrangement events that produced the exis...
Pavel A. Pevzner, Glenn Tesler
143
Voted
RECOMB
2003
Springer
16 years 4 months ago
Maximum entropy modeling of short sequence motifs with applications to RNA splicing signals
We propose a framework for modeling sequence motifs based on the maximum entropy principle (MEP). We recommend approximating short sequence motif distributions with the maximum en...
Gene W. Yeo, Christopher B. Burge
135
Voted
SIGMOD
2003
ACM
121views Database» more  SIGMOD 2003»
16 years 3 months ago
An environmental sensor network to determine drinking water quality and security
Finding patterns in large, real, spatio/temporal data continues to attract high interest (e.g., sales of products over space and time, patterns in mobile phone users; sensor netwo...
Anastassia Ailamaki, Christos Faloutsos, Paul S. F...
140
Voted
ICIAP
2003
ACM
16 years 3 months ago
Multiscale Fourier descriptor for shape classification
The description of the object shape is an important characteristic of the image. In image processing and pattern recognition, several different shape descriptors are used. In huma...
Iivari Kunttu, Leena Lepistö, Juhani Rauhamaa...