Sciweavers

7839 search results - page 1216 / 1568
» What's there and what's not
Sort
View
JSS
2010
107views more  JSS 2010»
15 years 9 days ago
An empirical investigation into branch coverage for C programs using CUTE and AUSTIN
Automated test data generation has remained a topic of considerable interest for several decades because it lies at the heart of attempts to automate the process of Software Testi...
Kiran Lakhotia, Phil McMinn, Mark Harman
123
Voted
JUCS
2010
135views more  JUCS 2010»
15 years 9 days ago
Web Context Classification Based on Information Quality Factors
: The fact that the World Wide Web is being used for various purposes also implies that users may have various information quality factors to consider according to their current co...
Jinhyuk Choi, Geehyuk Lee, Junghoon Moon
MICCAI
2010
Springer
15 years 9 days ago
Probabilistic Multi-Shape Representation Using an Isometric Log-Ratio Mapping
Abstract. Several sources of uncertainties in shape boundaries in medical images have motivated the use of probabilistic labeling approaches. Although it is well-known that the sam...
Neda Changizi, Ghassan Hamarneh
MLQ
2010
99views more  MLQ 2010»
15 years 9 days ago
Proof interpretations with truth
This article systematically investigates so-called “truth variants” of several functional interpretations. We start by showing a close relation between two variants of modifi...
Jaime Gaspar, Paulo Oliva
MODELS
2010
Springer
15 years 9 days ago
Inferring Meta-models for Runtime System Data from the Clients of Management APIs
Abstract. A new trend in runtime system monitoring is to utilize MOFbased techniques in analyzing the runtime system data. Approaches and tools have been proposed to automatically ...
Hui Song, Gang Huang, Yingfei Xiong, Franck Chauve...
« Prev « First page 1216 / 1568 Last » Next »