Sciweavers

1743 search results - page 151 / 349
» Generalized Modal Satisfiability
Sort
View
142
Voted
TKDE
2002
112views more  TKDE 2002»
15 years 3 months ago
Multiversion Locking Protocol with Freezing for Secure Real-Time Database Systems
Database systems for real-time applications must satisfy timing constraints associated with transactions. Typically, a timing constraint is expressed in the form of a deadline and ...
Chanjung Park, Seog Park, Sang Hyuk Son
TPDS
2010
199views more  TPDS 2010»
15 years 1 months ago
Flexible Cache Consistency Maintenance over Wireless Ad Hoc Networks
—One of the major applications of wireless ad hoc networks is to extend the Internet coverage and support pervasive and efficient data dissemination and sharing. To reduce data a...
Yu Huang 0002, Jiannong Cao, Beihong Jin, XianPing...
115
Voted
ICIP
2005
IEEE
16 years 5 months ago
Segmenting non stationary images with triplet Markov fields
The hidden Markov field (HMF) model has been used in many model-based solutions to image analysis problems, including that of image segmentation, and generally gives satisfying re...
Dalila Benboudjema, Wojciech Pieczynski
137
Voted
ICPR
2002
IEEE
16 years 4 months ago
Detection of Faces of Various Directions in Complex Backgrounds
This paper describes the detection of faces in complex backgrounds where their sizes, positions and directions are arbitrary. We detect the faces by extracting face components suc...
Yuichi Araki, Nobutaka Shimada, Yoshiaki Shirai
ICML
2009
IEEE
16 years 4 months ago
Gradient descent with sparsification: an iterative algorithm for sparse recovery with restricted isometry property
We present an algorithm for finding an ssparse vector x that minimizes the squareerror y - x 2 where satisfies the restricted isometry property (RIP), with isometric constant 2s ...
Rahul Garg, Rohit Khandekar