Sciweavers

6358 search results - page 1074 / 1272
» Computing spectral sequences
Sort
View
ICSE
2007
IEEE-ACM
16 years 6 months ago
Path-Sensitive Inference of Function Precedence Protocols
Function precedence protocols define ordering relations among function calls in a program. In some instances, precedence protocols are well-understood (e.g., a call to pthread mut...
Murali Krishna Ramanathan, Ananth Grama, Suresh Ja...
PERCOM
2007
ACM
16 years 5 months ago
Dynamic Carrier-Assisted Routing in Mobile Networks
We propose to use node mobility to enhance routing capability in a mobile network. A dual-control planes model is presented, which includes the traditional S(stationary)-plane for ...
Jie Wu
MOBISYS
2006
ACM
16 years 5 months ago
Building realistic mobility models from coarse-grained traces
In this paper we present a trace-driven framework capable of building realistic mobility models for the simulation studies of mobile systems. With the goal of realism, this framew...
Jungkeun Yoon, Brian D. Noble, Mingyan Liu, Minkyo...
SDM
2009
SIAM
118views Data Mining» more  SDM 2009»
16 years 3 months ago
Finding Links and Initiators: A Graph-Reconstruction Problem.
Consider a 0–1 observation matrix M, where rows correspond to entities and columns correspond to signals; a value of 1 (or 0) in cell (i, j) of M indicates that signal j has bee...
Evimaria Terzi, Heikki Mannila

Publication
396views
16 years 3 months ago
Detecting Abandoned Objects with A Moving Camera
This paper presents a novel framework for detecting non-flat abandoned objects by matching a reference and a target video sequences. The reference video is taken by a moving camera...
Hui Kong, Jean-Yves Audibert and Jean Ponce
« Prev « First page 1074 / 1272 Last » Next »