Sciweavers

1484 search results - page 122 / 297
» The Proteogenomic Mapping Tool
Sort
View
FM
2003
Springer
169views Formal Methods» more  FM 2003»
15 years 11 months ago
Checking and Reasoning about Semantic Web through Alloy
Abstract. Semantic Web (SW), commonly regarded as the next generation of the Web, is an emerging vision of the new Web from the Knowledge Representation and the Web communities. Th...
Jin Song Dong, Jing Sun, Hai H. Wang
ICCSA
2003
Springer
15 years 11 months ago
Digital Styling for Designers: Sketch Emulation in Computer Environment
Abstract. The digitalization of product-styling tools for the early designdevelopment stage has focused on using raster-type graphics S/Ws. These kinds of S/Ws enable designers fre...
Seok-Hyung Bae, Won-Sup Kim, Eun-Sook Kwon
SIGPLAN
2008
15 years 6 months ago
Languages and performance engineering: method, instrumentation, and pedagogy
Programs encounter increasingly complex and fragile mappings to computing platforms, resulting in performance characteristics that are often mysterious to students, practitioners,...
Doug Lea, David F. Bacon, David Grove
SPATIALCOGNITION
1998
Springer
15 years 10 months ago
Behavioral Experiments in Spatial Cognition Using Virtual Reality
Abstract. Virtual reality is used as a novel tool for behavioral experiments on humans. Two environments, Hexatown and Virtual Tubingen, are presented. Experiments on cognitive map...
Hanspeter A. Mallot, Sabine Gillner, Hendrik A. H....
CAISE
2005
Springer
15 years 12 months ago
A Meta Model for Process Mining Data
Abstract. Modern process-aware information systems store detailed information about processes as they are being executed. This kind of information can be used for very different p...
Boudewijn F. van Dongen, Wil M. P. van der Aalst