Sciweavers

3104 search results - page 490 / 621
» Using quantitative analysis to implement autonomic IT system...
Sort
View
ICIP
2001
IEEE
16 years 6 months ago
Study of embedded font context and kernel space methods for improved videotext recognition
Videotext refers to text superimposed on video frames. A videotext based Multimedia Description Scheme has recently been adopted into the MPEG-7 standard. A study of published wor...
Chitra Dorai, Hrishikesh Aradhye, Jae-Chang Shim
IRI
2008
IEEE
15 years 11 months ago
Towards an integrated modeling and simulation framework for freight transportation in metropolitan areas
Freight transportation at distribution nodes such as marine ports, airports and rail yards has been putting tremendous environmental pressure in metropolitan areas. A prerequisite...
Qunzhi Zhou, Amol Bakshi, Viktor K. Prasanna, Rama...
ADHOCNOW
2004
Springer
15 years 10 months ago
Cross-Layer Optimization for High Density Sensor Networks: Distributed Passive Routing Decisions
Abstract. The resource limited nature of WSNs require that protocols implemented on these networks be energy-efficient, scalable and distributed. This paper presents an analysis of...
Primoz Skraba, Hamid K. Aghajan, Ahmad Bahai
INEX
2004
Springer
15 years 10 months ago
Mixture Models, Overlap, and Structural Hints in XML Element Retrieval
We describe the INEX 2004 participation of the Informatics Institute of the University of Amsterdam. We completely revamped our XML retrieval system, now implemented as a mixture l...
Börkur Sigurbjörnsson, Jaap Kamps, Maart...
RTA
2011
Springer
14 years 7 months ago
Modular Termination Proofs of Recursive Java Bytecode Programs by Term Rewriting
In [5, 15] we presented an approach to prove termination of non-recursive Java Bytecode (JBC) programs automatically. Here, JBC programs are first transformed to finite terminat...
Marc Brockschmidt, Carsten Otto, Jürgen Giesl