Sciweavers

1598 search results - page 198 / 320
» Integrating Component Tests to System Tests
Sort
View
SAS
1992
Springer
171views Formal Methods» more  SAS 1992»
15 years 10 months ago
Static Analysis of CLP Programs over Numeric Domains
Abstract Constraint logic programming (CLP) is a generalization of the pure logic programming paradigm, having similar model-theoretic, fixpoint and operational semantics [9]. Sinc...
Roberto Bagnara, Roberto Giacobazzi, Giorgio Levi
AI
2006
Springer
15 years 6 months ago
Generating and evaluating evaluative arguments
Evaluative arguments are pervasive in natural human communication. In countless situations people attempt to advise or persuade their interlocutors that something is desirable (vs...
Giuseppe Carenini, Johanna D. Moore

Book
338views
17 years 3 months ago
The Data Conversion Handbook
"The Data Conversion Handbook, edited by Walt Kester (Newnes, 2005), is written for design engineers who routinely use data converters and related circuitry. Comprising Data C...
Walt Kester
ICIP
2009
IEEE
16 years 7 months ago
Natural Image Utility Assessment Using Image Contours
In the quality assessment task, observers evaluate a natural image based on its perceptual resemblance to a reference. For the utility assessment task, observers evaluate the usef...
ICN
2007
Springer
16 years 18 days ago
Beyond Broadcast--A Hybrid Testbed for Mobile TV 2.0 Services
Current market research indicates high future demand for broadcast services such as Mobile TV. While underlying competing bearer technologies are being extensively tested and refi...
Raimund Schatz, Norbert Jordan, Siegfried Wagner