681 search results - page 110 / 137 » Business Process Simulation for Operational Decision Support |
145
Voted
TACAS
2004
Springer
15 years 8 months ago
2004
Springer
Temporal logic is two-valued: formulas are interpreted as either true or false. When applied to the analysis of stochastic systems, or systems with imprecise formal models, tempor...
113
Voted
IWMM
2007
Springer
15 years 9 months ago
2007
Springer
Traditionally, operating systems use a coarse approximation of memory accesses to implement memory management algorithms by monitoring page faults or scanning page table entries. ...
139
click to vote
CVPR
2005
IEEE
16 years 5 months ago
2005
IEEE
A method that combines shape-based object recognition and image segmentation is proposed for shape retrieval from images. Given a shape prior represented in a multiscale curvature...
143
Voted
VTC
2007
IEEE
15 years 9 months ago
2007
IEEE
— “Word-of-Mouth”, a novel scheme for sharing the service quality experienced with different local networks, is presented and evaluated as a distributed solution for performi...
136
Voted
JMLR
2006
15 years 3 months ago
2006
We describe the use of machine learning and data mining to detect and classify malicious executables as they appear in the wild. We gathered 1,971 benign and 1,651 malicious execu...