3911 search results - page 745 / 783 » Using Operational Architecture to Model Embedded Software |
111
click to vote
CIKM
1999
Springer
15 years 6 months ago
1999
Springer
A research prototype is presented for semantic indexing and retrieval in Information Retrieval. The prototype is motivated by a desire to provide a more efficient and effective in...
149
click to vote
WOTUG
2007
15 years 3 months ago
2007
Concurrency control mechanisms such as turn-taking, locking, serialization, transactional locking mechanism, and operational transformation try to provide data consistency when con...
128
click to vote
BALT
2008
15 years 4 months ago
2008
Biomedical research on human subjects often requires a large amount of data to be collected by personal interviews, Internet based questionnaires, lab measurements or by extracting...
161
Voted
POPL
2011
ACM
14 years 5 months ago
2011
ACM
We describe a new algorithm for proving temporal properties expressed in LTL of infinite-state programs. Our approach takes advantage of the fact that LTL properties can often be...
136
click to vote
KDD
2006
ACM
16 years 2 months ago
2006
ACM
Calculation of object similarity, for example through a distance function, is a common part of data mining and machine learning algorithms. This calculation is crucial for efficie...