1156 search results - page 99 / 232 » Compositional Methods for Information-Hiding |
ICRA
2000
IEEE
14 years 1 months ago
2000
IEEE
We describe a framework for derivation of several forward dynamics algorithms used in robotics. The framework is based on formulating an augmented system and performing block matr...
VR
2011
IEEE
13 years 21 days ago
2011
IEEE
Abstract Modeling tools typically have their own interaction methods for combining virtual objects. For realistic composition in 3D space, many researchers from the fields of virt...
SIGSOFT
2003
ACM
14 years 9 months ago
2003
ACM
d Abstract) Eunyoung Lee Andrew W. Appel Department of Computer Science Princeton University {elee,appel}@cs.princeton.edu Categories and Subject Descriptors D.2.4 [Software Engine...
PODC
1994
ACM
14 years 1 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
BMCBI
2008
2008
Identification of Proteins Secreted by Malaria Parasite into Erythrocyte using SVM and PSSM profiles
13 years 9 months ago
Background: Malaria parasite secretes various proteins in infected RBC for its growth and survival. Thus identification of these secretory proteins is important for developing vac...