1484 search results - page 64 / 297 » The Proteogenomic Mapping Tool |
AOSE
2004
Springer
15 years 3 months ago
2004
Springer
Abstract. In this paper we introduce an approach for defining semantics for AUML agent interaction protocol diagrams using Petri net code structures. This approach is based on the...
APSEC
1999
IEEE
15 years 2 months ago
1999
IEEE
For the practical development of provably correct software for embedded systems the close integration of CASE tools and verification tools is required. This paper describes the co...
103
click to vote
IROS
2009
IEEE
15 years 4 months ago
2009
IEEE
— Tool-body assimilation is one of the intelligent human abilities. Through trial and experience, humans are capable of using tools as if they are part of their own bodies. This ...
CORR
2008
Springer
14 years 10 months ago
2008
Springer
Requirements about the quality of clinical guidelines can be represented by schemata borrowed from the theory of abductive diagnosis, using temporal logic to model the time-orient...
ICPR
2004
IEEE
15 years 11 months ago
2004
IEEE
A system is described for creating paper documents that show images of presentation slides and bar codes that point to a multimedia recording of a presentation that has not yet oc...