Sciweavers

3889 search results - page 374 / 778
» A Framework for Optimizing Paper Matching
Sort
View
ACCV
2007
Springer
16 years 28 days ago
Continuously Tracking Objects Across Multiple Widely Separated Cameras
In this paper, we present a new solution to the problem of multi-camera tracking with non-overlapping fields of view. The identities of moving objects are maintained when they are...
Yinghao Cai, Wei Chen, Kaiqi Huang, Tieniu Tan
EUROPKI
2007
Springer
16 years 27 days ago
Security-by-Contract: Toward a Semantics for Digital Signatures on Mobile Code
In this paper we propose the notion of security-by-contract, a mobile contract that an application carries with itself. The key idea of the framework is that a digital signature sh...
Nicola Dragoni, Fabio Massacci, Katsiaryna Naliuka...
FSTTCS
2007
Springer
16 years 27 days ago
Program Analysis Using Weighted Pushdown Systems
Abstract. Pushdown systems (PDSs) are an automata-theoretic formalism for specifying a class of infinite-state transition systems. Infiniteness comes from the fact that each con...
Thomas W. Reps, Akash Lal, Nicholas Kidd
SIGIR
2006
ACM
16 years 21 days ago
Combining bidirectional translation and synonymy for cross-language information retrieval
This paper introduces a general framework for the use of translation probabilities in cross-language information retrieval based on the notion that information retrieval fundament...
Jianqiang Wang, Douglas W. Oard
DATE
2005
IEEE
128views Hardware» more  DATE 2005»
16 years 10 days ago
Modeling Interconnect Variability Using Efficient Parametric Model Order Reduction
Assessing IC manufacturing process fluctuations and their impacts on IC interconnect performance has become unavoidable for modern DSM designs. However, the construction of parame...
Peng Li, Frank Liu, Xin Li, Lawrence T. Pileggi, S...