Sciweavers

1420 search results - page 128 / 284
» Representation of Graphs by OBDDs
Sort
View
DATE
2007
IEEE
146views Hardware» more  DATE 2007»
16 years 28 days ago
Data-flow transformations using Taylor expansion diagrams
Abstract: An original technique to transform functional representation of the design into a structural representation in form of a data flow graph (DFG) is described. A canonical,...
Maciej J. Ciesielski, Serkan Askar, Daniel Gomez-P...
IROS
2007
IEEE
198views Robotics» more  IROS 2007»
16 years 27 days ago
Topological mapping, localization and navigation using image collections
Abstract— In this paper we present a highly scalable visionbased localization and mapping method using image collections. A topological world representation is created online dur...
Friedrich Fraundorfer, Christopher Engels, David N...
SYNASC
2005
IEEE
129views Algorithms» more  SYNASC 2005»
16 years 5 days ago
Logic Restructuring for Delay Balancing in Wave-Pipelined Circuits: An Integer Programming Approach
In this paper we apply integer programming (IP) based techniques to the problem of delay balancing in wave-pipelined circuits. The proposed approach considers delays, as well as f...
Srivastav Sethupathy, Nohpill Park, Marcin Paprzyc...
ICSM
2003
IEEE
15 years 12 months ago
Testing with Respect to Concerns
Often the code regions that are assigned for a maintenance task do not follow the modularization of the original application program, but instead include parts of code from many d...
Amie L. Souter, David Shepherd, Lori L. Pollock
SEMWEB
2001
Springer
15 years 11 months ago
Object Interoperability for Geospatial Applications
In this paper, we analyze a geospatial application for visualizing U.S. election results in order to show the problems that need to be solved in the mapping between different XML...
Isabel F. Cruz, Paul W. Calnan