Sciweavers

1580 search results - page 255 / 316
» Non-Interference Through Determinism
Sort
View

Publication
208views
14 years 11 months ago
Making the Montreal indoor city accessible to people with disabilities
Indoor pedestrian networks are a facet of the built environment in many cities around the world. They can be built for many reasons, including separating pedestrians from motor veh...
Hagg, M. & El-Geneidy, A.
ICIP
2007
IEEE
14 years 11 months ago
Color Image Superresolution Based on a Stochastic Combinational Classification-Regression Algorithm
Abstract - The proposed algorithm in this work provides superresolution for color images by using a learning based technique that utilizes both generative and discriminant approach...
Karl S. Ni, Truong Q. Nguyen
ICIP
2005
IEEE
14 years 11 months ago
A dynamic Bezier curve model
Bezier curves (BC) are fundamental to a wide range of applications from computer-aided design through to object shape descriptions and surface mapping. Since BC only consider glob...
Ferdous Ahmed Sohel, Laurence S. Dooley, Gour C. K...
GIS
2009
ACM
14 years 11 months ago
An Interactive Approach to Route Search
A route leads from a start location to a final destination and passes through geospatial entities that are picked according to search terms provided by the user. Each entity is pe...
Yaron Kanza, Roy Levin, Eliyahu Safra, Yehoshua Sa...
DAC
2008
ACM
14 years 11 months ago
Bi-decomposing large Boolean functions via interpolation and satisfiability solving
Boolean function bi-decomposition is a fundamental operation in logic synthesis. A function f(X) is bi-decomposable under a variable partition XA, XB, XC on X if it can be written...
Ruei-Rung Lee, Jie-Hong Roland Jiang, Wei-Lun Hung