Sciweavers

3724 search results - page 398 / 745
» Timed regular expressions
Sort
View
ECRTS
2010
IEEE
15 years 8 months ago
Partitioning Parallel Applications on Multiprocessor Reservations
A full exploitation of the computational power available in a multi-core platform requires the software to be specified in terms of parallel execution flows. At the same time, mode...
Giorgio C. Buttazzo, Enrico Bini, Yifan Wu
ENTCS
2002
61views more  ENTCS 2002»
15 years 6 months ago
Effectively Absolute Continuity and Effective Jordan Decomposability
Classically, any absolute continuous real function is of bounded variation and hence can always be expressed as a difference of two increasing continuous functions (socalled Jorda...
Xizhong Zheng, Robert Rettinger, Burchard von Brau...
WIOPT
2010
IEEE
15 years 5 months ago
Spatial queueing analysis for mobility in pico cell networks
In this work, we characterize the performance of pico cell networks in presence of moving users. We model various traffic types between base-stations and mobiles as different typ...
Sreenath Ramanath, Veeraruna Kavitha, Eitan Altman
VCBM
2010
15 years 1 months ago
Guided Visualization of Ultrasound Image Sequences
Ultrasonography allows informative and expressive real time examinations of patients. Findings are usually reported as printouts, screen shots and video sequences. However, in cer...
Paolo Angelelli, Ivan Viola, Kim Nylund, Odd Helge...
ICDAR
2011
IEEE
14 years 6 months ago
Math Spotting: Retrieving Math in Technical Documents Using Handwritten Query Images
—A method for locating mathematical expressions in document images without the use of optical character recognition is presented. An index of document regions is produced from re...
Richard Zanibbi, Li Yu