Sciweavers

5336 search results - page 823 / 1068
» Steerable part models
Sort
View
LICS
2002
IEEE
16 years 6 days ago
The Metric Analogue of Weak Bisimulation for Probabilistic Processes
We observe that equivalence is not a robust concept in the presence of numerical information - such as probabilities - in the model. We develop a metric analogue of weak bisimulat...
Josee Desharnais, Radha Jagadeesan, Vineet Gupta, ...
ICSE
2010
IEEE-ACM
16 years 2 days ago
Providing support for creating next generation software architecture languages
Many languages for software architectures have been proposed, each dealing with different stakeholder concerns, operating at different levels of abstraction and with different deg...
Ivano Malavolta
ISBMS
2010
Springer
16 years 2 days ago
LASTIC: A Light Aspiration Device for in vivo Soft TIssue Characterization
This paper introduces a new Light Aspiration device for in vivo Soft TIssue Characterization (LASTIC). This device is designed to be used during surgery, and can undergo sterilizat...
Patrick Schiavone, Emmanuel Promayon, Yohan Payan
KR
2010
Springer
16 years 2 days ago
Multi-Agent Only-Knowing Revisited
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Vaishak Belle, Gerhard Lakemeyer
BICOB
2009
Springer
15 years 12 months ago
Computational Prediction of Genes Translationally Regulated by Cytoplasmic Polyadenylation Elements
Cytoplasmic post-transcriptional modification of mRNA transcripts in the form of polyadenylated (poly(A)) tails plays a key role in their translational control. The timing and degr...
Eric C. Rouchka, Xiangping Wang, James H. Graham, ...