412 search results - page 51 / 83 » RATSY - A New Requirements Analysis Tool with Synthesis |
ISCAS
2008
IEEE
14 years 5 months ago
2008
IEEE
—Chemiresistive (CR) sensors and sensor arrays coated with thiolate-monolayer-protected gold nanoparticle (MPN) interfaces show great promise for high-sensitivity multi-vapor ana...
CCECE
2006
IEEE
14 years 4 months ago
2006
IEEE
The wavelet transform is a very popular tool in engineering for signal analysis. With respect to image compression, the new JPEG 2000 image standard incorporates wavelet transform...
LICS
2009
IEEE
14 years 5 months ago
2009
IEEE
In this paper we introduce “clipping,” a new method of syntactic approximation which is motivated by and works in conjunction with a sound and decidable denotational model for...
SIGCSE
2006
ACM
14 years 4 months ago
2006
ACM
New accreditation requirements focus on education as a “continuous improvement process.” The most important part of such a process is that information gets fed back into the s...
BMCBI
2010
13 years 11 months ago
2010
Background: High throughput sequencing has become an increasingly important tool for biological research. However, the existing software systems for managing and processing these ...