2419 search results - page 399 / 484 » A Formal Approach to Software Testing |
106
Voted
DEXA
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. Due to the wide-spread use of decision support systems (DSS), methods are required by software companies. Several concepts and methods have been suggested for decision-ma...
110
Voted
LREC
2008
15 years 4 months ago
2008
The NIST Automatic Content Extraction (ACE) Evaluation expands its focus in 2008 to encompass the challenge of cross-document and cross-language global integration and reconciliat...
116
Voted
PDPTA
2000
15 years 3 months ago
2000
Code Mobility brings the possibility of building distributed systems better suited to a range of application areas. While platforms supporting Code Mobility are already in use, su...
113
Voted
MAGS
2007
15 years 2 months ago
2007
Abstract. The availability of massive amounts of biological data, distributed in various data sources, has prompted the development of a wide range of data analysis tools. However,...
91
Voted
UIST
1997
ACM
15 years 6 months ago
1997
ACM
We report results from a formal user study of interactive 3D rotation using the mouse-driven Virtual Sphere and Arcball techniques, as well as multidimensional input techniques ba...