1397 search results - page 45 / 280 » On the Need for Practical Formal Methods |
CORR
2008
Springer
13 years 7 months ago
2008
Springer
This paper examines the possibility of discovering 'hidden' (potential) Communities of Practice (CoPs) inside electronic networks, and then using this knowledge to nurtu...
ICALT
2006
IEEE
14 years 1 months ago
2006
IEEE
A big part of life long learning is the move from residential lectures to distance education. Distance education falls under the multi-modal policy of the teaching institution and...
HT
1997
ACM
13 years 12 months ago
1997
ACM
Information triage is the process of sorting through relevant materials, and organizing them to meet the needs of the task at hand. It is a practice that has become increasingly c...
NIPS
2004
13 years 9 months ago
2004
Co-training is a method for combining labeled and unlabeled data when examples can be thought of as containing two distinct sets of features. It has had a number of practical succ...
FM
2006
Springer
13 years 11 months ago
2006
Springer
We summarize some current trends in embedded systems design and point out some of their characteristics, such as the chasm between analytical and computational models, and the gap ...