Sciweavers

12551 search results - page 2474 / 2511
» Reuse in Systems Engineering
Sort
View
FATES
2003
Springer
14 years 2 months ago
JMLAutoTest: A Novel Automated Testing Framework Based on JML and JUnit
Abstract. Writing specifications using Java Modeling Language has been accepted for a long time as a practical approach to increasing the correctness and quality of Java programs. ...
Guoqing Xu, Zongyuang Yang
FOSSACS
2003
Springer
14 years 2 months ago
A Game Semantics for Generic Polymorphism
Genericity is the idea that the same program can work at many different data types. Longo, Milstead and Soloviev proposed to capture the inability of generic programs to probe th...
Samson Abramsky, Radha Jagadeesan
WEBDB
2010
Springer
152views Database» more  WEBDB 2010»
14 years 2 months ago
Popularity-Guided Top-k Extraction of Entity Attributes
Recent progress in information extraction technology has enabled a vast array of applications that rely on structured data that is embedded in natural-language text. In particular...
Matthew Solomon, Cong Yu, Luis Gravano
ICARCV
2002
IEEE
166views Robotics» more  ICARCV 2002»
14 years 2 months ago
Similarity measure determination from NURBS-warping method
With the advances in digital imagery, large accessible data storage, internet repositories, and image applications, information conveyed through images is gaining in importance. T...
Kim Meng Liang, Mandava Rajeswari, Bee Ee Khoo
VISUALIZATION
2002
IEEE
14 years 2 months ago
Comparative Evaluation of Visualization and Experimental Results Using Image Comparison Metrics
Comparative evaluation of visualization and experiment results is a critical step in computational steering. In this paper, we present a study of image comparison metrics for quan...
Hualin Zhou, Min Chen, Mike F. Webster
« Prev « First page 2474 / 2511 Last » Next »