2634 search results - page 14 / 527 » Faster Than Uppaal |
OOPSLA
2009
Springer
14 years 2 months ago
2009
Springer
Generic classes can be used to improve performance by allowing compile-time polymorphism. But the applicability of compile-time polymorphism is narrower than that of runtime polym...
ICMCS
2005
IEEE
14 years 1 months ago
2005
IEEE
We previously reported a face detection system based on color segmentation using HSV. It was shown that the color is more effective than other colors not only in accurate segmenta...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
TCP with Van Jacobson congestion control (VJCC) is known to have poor performance over large bandwidthdelay product paths. Long delay paths, in particular, can display very poor b...
LICS
2003
IEEE
14 years 23 days ago
2003
IEEE
This paper reports on and discusses three notions of approximation for Labelled Markov Processes that have been developed last year. The three schemes are improvements over former...
WSCG
2000
13 years 8 months ago
2000
The alternating sum of volumes (ASV) decomposition is a widely used technique for converting a b-rep into a CSG model, with all its implicit uses and advantages -like form feature...