Sciweavers

5100 search results - page 669 / 1020
» The Linear Complexity of a Graph
Sort
View
FOCS
2006
IEEE
16 years 22 days ago
On a Geometric Generalization of the Upper Bound Theorem
We prove an upper bound, tight up to a factor of 2, for the number of vertices of level at most in an arrangement of n halfspaces in Rd , for arbitrary n and d (in particular, the...
Uli Wagner
SBACPAD
2006
IEEE
148views Hardware» more  SBACPAD 2006»
16 years 21 days ago
Scalable Parallel Implementation of Bayesian Network to Junction Tree Conversion for Exact Inference
We present a scalable parallel implementation for converting a Bayesian network to a junction tree, which can then be used for a complete parallel implementation for exact inferen...
Vasanth Krishna Namasivayam, Animesh Pathak, Vikto...
ASPDAC
2006
ACM
119views Hardware» more  ASPDAC 2006»
16 years 20 days ago
Using speculative computation and parallelizing techniques to improve scheduling of control based designs
Recent research results have seen the application of parallelizing techniques to high-level synthesis. In particular, the effect of speculative code transformations on mixed contr...
Roberto Cordone, Fabrizio Ferrandi, Marco D. Santa...
ICITA
2005
IEEE
16 years 8 days ago
Using Image Contour Recognition in GIS Navigation
This paper presents an approach of using image contour recognition in the navigation for enterprise geographic information systems (GIS). The extraction of object mark images is b...
Wei Lai, Donggang Yu, Jiro Tanaka, Cai Fei
ASM
2005
ASM
16 years 7 days ago
RAM Simulation of BGS Model of Abstract State Machines
lation of BGS model of Abstract State Machines Comandur Seshadhri1 , Anil Seth2 , and Somenath Biswas2 1 Department of Computer Science Princeton University, Princeton NJ 08544, US...
Seshadhri Comandur, Anil Seth, Somenath Biswas