5550 search results - page 175 / 1110 » Different Approaches to Proof Systems |
162
click to vote
BMCBI
2006
15 years 6 months ago
2006
Background:Receptors and scaffold proteins possess a number of distinct domains and bind multiple partners. A common problem in modeling signaling systems arises from a combinator...
187
click to vote
ICCS
2009
Springer
15 years 4 months ago
2009
Springer
This article presents a local control approach to linear vehicle platooning. Linear platoon systems are sets of vehicles that use local or global perception capabilities to form a ...
176
click to vote
AAAI
2000
15 years 7 months ago
2000
Spoken dialogue system performance can vary widely for different users, as well for the same user during different dialogues. This paper presents the design and evaluation of an a...
186
click to vote
SCAM
2006
IEEE
16 years 15 days ago
2006
IEEE
Many software systems are mixed-language systems today, i.e., they bind together components defined in different programming and specification languages. Analyses and refactorin...
171
click to vote
ENTCS
2010
15 years 6 months ago
2010
During the verification phase in component-oriented approaches to (embedded) system development component tests are generally followed by system tests, often using different testi...