Sciweavers

399 search results - page 20 / 80
» Combining the Animation and Testing of Abstract Data Types
Sort
View
DAGSTUHL
2004
15 years 4 months ago
Audition of Web Services for Testing Conformance to Open Specified Protocols
Abstract. A Web Service (WS) is a type of component specifically conceived for distributed machine-to-machine interaction. Interoperability between WSs involves both data and messa...
Antonia Bertolino, Lars Frantzen, Andrea Polini, J...
COSIT
2003
Springer
94views GIS» more  COSIT 2003»
15 years 8 months ago
Testing the First Law of Cognitive Geography on Point-Display Spatializations
Abstract. Spatializations are computer visualizations in which nonspatial information is depicted spatially. Spatializations of large databases commonly use distance as a metaphor ...
Daniel R. Montello, Sara Irina Fabrikant, Marco Ru...
110
Voted
IV
2003
IEEE
118views Visualization» more  IV 2003»
15 years 8 months ago
Tools for Visual Comparison of Spatial Development Scenarios
In the paper, we suggest a set of visualization-based exploratory tools to support analysis and comparison of different spatial development scenarios, such as results of simulatio...
Natalia V. Andrienko, Gennady L. Andrienko, Peter ...
MBEES
2008
15 years 4 months ago
Composition of Model-based Test Coverage Criteria
: In this paper, we discuss adjustable coverage criteria and their combinations in model-based testing. We formalize coverage criteria and specify test goals using OCL. Then, we pr...
Mario Friske, Bernd-Holger Schlingloff, Stephan We...
HUMO
2007
Springer
15 years 9 months ago
Modeling Human Locomotion with Topologically Constrained Latent Variable Models
Abstract. Learned, activity-specific motion models are useful for human pose and motion estimation. Nevertheless, while the use of activityspecific models simplifies monocular t...
Raquel Urtasun, David J. Fleet, Neil D. Lawrence