429 search results - page 15 / 86 » General Pseudo-random Generators from Weaker Models of Compu... |
EUSFLAT
2009
13 years 5 months ago
2009
Fuzzy Logic Systems are widely recognized to be successful at modelling uncertainty in a large variety of applications. While recently interval type-2 fuzzy logic has been credited...
DAC
2003
ACM
14 years 9 months ago
2003
ACM
Bounded Model Checking (BMC) based on Boolean Satisfiability (SAT) procedures has recently gained popularity as an alternative to BDD-based model checking techniques for finding b...
MOBISYS
2006
ACM
14 years 7 months ago
2006
ACM
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...
ANLP
1994
13 years 9 months ago
1994
A new technique to locate content-representing words for a given document image using representation of character shapes is described. A character shape code representation define...
CVPR
2009
IEEE
15 years 3 months ago
2009
IEEE
This paper deals with estimation of dense optical flow
and ego-motion in a generalized imaging system by exploiting
probabilistic linear subspace constraints on the flow.
We dea...