Sciweavers

41 search results - page 7 / 9
» Generating Semantic 3D Models of Underground Infrastructure
Sort
View
ICFEM
2009
Springer
14 years 7 months ago
Verifying Ptolemy II Discrete-Event Models Using Real-Time Maude
Abstract. This paper shows how Ptolemy II discrete-event (DE) models can be formally analyzed using Real-Time Maude. We formalize in Real-Time Maude the semantics of a subset of hi...
Kyungmin Bae, Peter Csaba Ölveczky, Thomas Hu...
CAD
2005
Springer
14 years 9 months ago
Parameterization and parametric design of mannequins
This paper presents a novel feature based parameterization approach of human bodies from the unorganized cloud points and the parametric design method for generating new models ba...
Charlie C. L. Wang
ACSW
2007
14 years 11 months ago
Developing CIMA-Based Cyberinfrastructure for Remote Access to Scientific Instruments and Collaborative e-Research
An infrastructure for remote instrument access, data acquisition and data management is being developed for e-Research. The Common Instrument Middleware Architecture (CIMA) is bei...
Ian M. Atkinson, Douglas du Boulay, Clinton Chee, ...
ICMCS
2005
IEEE
150views Multimedia» more  ICMCS 2005»
15 years 3 months ago
MPEG-7 MDS-Based Application Specific Metadata Model for Personalized Multi-Service Access in a DTV Broadcast Environment
The paper presents an MPEG-7 Multimedia Description Schemes (MDS)-based metadata and user profile model used within an enhanced DTV environment for semantic annotation and person...
Sofia Tsekeridou
90
Voted
CORR
2010
Springer
130views Education» more  CORR 2010»
14 years 7 months ago
Ontology-based Queries over Cancer Data
The ever-increasing amount of data in biomedical research, and in cancer research in particular, needs to be managed to support efficient data access, exchange and integration. Exi...
Alejandra González Beltrán, Ben Tagg...