2502 search results - page 495 / 501 » Using probabilistic model checking in systems biology |
157
click to vote
ECCV
2008
Springer
16 years 5 months ago
2008
Springer
Object detection and recognition has achieved a significant progress in recent years. However robust 3D object detection and segmentation in noisy 3D data volumes remains a challen...
142
click to vote
SIGIR
2010
ACM
15 years 8 months ago
2010
ACM
Evaluation metrics play a critical role both in the context of comparative evaluation of the performance of retrieval systems and in the context of learning-to-rank (LTR) as objec...
163
click to vote
FMICS
2009
Springer
15 years 10 months ago
2009
Springer
on Abstraction: a Lightweight Approach to Modelling Concurrency. Javier de Dios and Ricardo Peña Certified Implementation on top of the Java Virtual Machine 19:00 Social dinner + ...
135
click to vote
ICS
2007
Tsinghua U.
15 years 10 months ago
2007
Tsinghua U.
Overlapping communication with computation is an important optimization on current cluster architectures; its importance is likely to increase as the doubling of processing power ...
155
click to vote
OOPSLA
2007
Springer
15 years 10 months ago
2007
Springer
In runtime monitoring, a programmer specifies a piece of code to execute when a trace of events occurs during program execution. Previous and related work has shown that runtime m...