Sciweavers

4836 search results - page 809 / 968
» Exploring the Similarity Space
Sort
View
192
Voted
TC
2008
15 years 7 months ago
Implementing Synchronous Models on Loosely Time Triggered Architectures
Synchronous systems offer clean semantics and an easy verification path at the expense of often inefficient implementations. Capturing design specifications as synchronous models a...
Stavros Tripakis, Claudio Pinello, Albert Benvenis...
TCBB
2008
113views more  TCBB 2008»
15 years 7 months ago
Efficient Algorithms for the Computational Design of Optimal Tiling Arrays
The representation of a genome by oligonucleotide probes is a prerequisite for the analysis of many of its basic properties, such as transcription factor binding sites, chromosomal...
Alexander Schliep, Roland Krause
TCS
2008
15 years 7 months ago
Static space-times naturally lead to quasi-pseudometrics
The standard 4-dimensional Minkowski space-time of special relativity is based on the 3-dimensional Euclidean metric. In 1967, H. Busemann showed that similar static space-time mo...
Hans-Peter A. Künzi, Vladik Kreinovich
187
Voted
BC
2005
78views more  BC 2005»
15 years 7 months ago
Velocity constancy and models for wide-field visual motion detection in insects
The tangential neurons in the lobula plate region of the flies are known to respond to visual motion across broad receptive fields in visual space. When intracellular recordings ar...
Patrick A. Shoemaker, David C. O'Carroll, A. D. St...
194
Voted
IS
2007
15 years 7 months ago
A co-training framework for searching XML documents
In this paper, we study the use of XML tagged keywords (or simply key-tags) to search an XML fragment in a collection of XML documents. We present techniques that are able to empl...
Wilfred Ng, Ho Lam Lau