Sciweavers

2835 search results - page 494 / 567
» Common Semantics for Use Cases and Task Models
Sort
View
JLP
2006
108views more  JLP 2006»
14 years 11 months ago
On testing UML statecharts
We present a formal framework for notions related to testing and model based test generation for a behavioural subset of UML Statecharts (UMLSCs). This framework builds, on one ha...
Mieke Massink, Diego Latella, Stefania Gnesi
IJRR
2010
110views more  IJRR 2010»
14 years 9 months ago
Object Detection and Tracking for Autonomous Navigation in Dynamic Environments
Abstract We address the problem of vision-based navigation in busy inner-city locations, using a stereo rig mounted on a mobile platform. In this scenario semantic information beco...
Andreas Ess, Konrad Schindler, Bastian Leibe, Luc ...
BMCBI
2007
158views more  BMCBI 2007»
14 years 12 months ago
Penalized likelihood for sparse contingency tables with an application to full-length cDNA libraries
Background: The joint analysis of several categorical variables is a common task in many areas of biology, and is becoming central to systems biology investigations whose goal is ...
Corinne Dahinden, Giovanni Parmigiani, Mark C. Eme...
SCAI
2001
15 years 1 months ago
Meaning and Partiality Revised
Muskens presents in Meaning and Partiality a semantics of possibly contradictory beliefs and other propositional attitudes. We propose a different partial logic based on a few key...
Jørgen Villadsen
PEPM
2007
ACM
15 years 6 months ago
Bidirectional interpretation of XQuery
XQuery is a powerful functional language to query XML data. This paper presents a bidirectional interpretation of XQuery to address the problem of updating XML data through materi...
Dongxi Liu, Zhenjiang Hu, Masato Takeichi