7404 search results - page 228 / 1481 » New Tools in Education |
208
click to vote
ICST
2010
IEEE
15 years 4 months ago
2010
IEEE
Mobile computing systems provide new challenges for verification. One of them is the dynamicity of the system structure, with mobility-induced connections and disconnections, dynam...
148
click to vote
TSP
2010
15 years 1 months ago
2010
This paper is first in a series of papers studying a system-theoretic approach to the problem of reconstructing an analog signal from its samples. The idea, borrowed from earlier t...
179
Voted
JCDL
2005
ACM
16 years 5 days ago
2005
ACM
In this paper we discuss the architecture of a tool designed to help users develop vertical search engines in different domains and different languages. The design of the tool is ...
179
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Many programs have been developed to identify transcription factor binding sites. However, most of them are not able to infer two-word motifs with variable spacer leng...
126
click to vote
ICCAD
2002
IEEE
16 years 3 months ago
2002
IEEE
New electronics technologies are emerging which may carry us beyond the limits of lithographic processing down to molecularscale feature sizes. Devices and interconnects can be ma...