Sciweavers

10406 search results - page 352 / 2082
» Using RDF to Model the Structure and Process of Systems
Sort
View
FASE
2001
Springer
15 years 9 months ago
A CSP View on UML-RT Structure Diagrams
Abstract. UML-RT is an extension of UML for modelling embedded reactive and real-time software systems. Its particular focus lies on system descriptions on the architectural level,...
Clemens Fischer, Ernst-Rüdiger Olderog, Heike...
CLEIEJ
2006
88views more  CLEIEJ 2006»
15 years 4 months ago
A Stochastic Concurrent Constraint Based Framework to Model and Verify Biological Systems
Concurrent process calculi are powerful formalisms for modelling concurrent systems. The mathematical style underlying process calculi allow to both model and verify properties of...
Carlos Olarte, Camilo Rueda
IJBRA
2008
97views more  IJBRA 2008»
15 years 4 months ago
Extracting Protein-Protein Interactions from MEDLINE using the Hidden Vector State model
: A major challenge in text mining for biomedicine is automatically extracting protein-protein interactions from the vast amount of biomedical literature. We have constructed an in...
Deyu Zhou, Yulan He, Chee Keong Kwoh
ROMAN
2007
IEEE
176views Robotics» more  ROMAN 2007»
15 years 11 months ago
Action Recognition and Understanding using Motor Primitives
— We investigate modeling and recognition of arm manipulation actions of different levels of complexity. To model the process, we are using a combination of discriminative suppor...
Ville Kyrki, Isabel Serrano Vicente, Danica Kragic...
SCM
1998
15 years 6 months ago
Change Measurements in an SCM Process
Abstract. An SCM database contains data which can be used as input for Software Metrics. Both data for Size-Oriented Metrics, and information for ProcessOriented Metrics are availa...
Ivica Crnkovic, Per Willför