4418 search results - page 302 / 884 » A Formal Approach to Computer Systems Requirements Documenta... |
209
click to vote
BMCBI
2011
15 years 1 months ago
2011
Background: In rule-based modeling, graphs are used to represent molecules: a colored vertex represents a component of a molecule, a vertex attribute represents the internal state...
197
click to vote
KDD
2002
ACM
16 years 7 months ago
2002
ACM
This paper presents an approach to automatically optimizing the retrieval quality of search engines using clickthrough data. Intuitively, a good information retrieval system shoul...
210
click to vote
TDSC
2011
15 years 1 months ago
2011
Abstract— We present on-line tunable diagnostic and membership protocols for generic time-triggered (TT) systems to detect crashes, send/receive omission faults and network parti...
178
click to vote
WEBNET
2001
15 years 8 months ago
2001
: New information and computing technologies offer cost efficient and effective learning opportunities for health care professionals. The Assisted Electronic Communication project ...
222
click to vote
HICSS
2009
IEEE
16 years 1 months ago
2009
IEEE
Can models of collaboration serve as a foundation for development of collaborative technologies in much the same way that engineers use models when developing complex systems? We ...