Sciweavers

3222 search results - page 386 / 645
» A Data Model for Effectively Computable Functions
Sort
View
JSW
2008
105views more  JSW 2008»
15 years 6 months ago
Representing Procedural Logic in XML
Extensible Markup Language (XML) is a powerful tool used for describing structured documents and exchanging standardized data files over the Internet. This article describes how us...
Albert D. Bethke
ASPDAC
2007
ACM
89views Hardware» more  ASPDAC 2007»
15 years 10 months ago
Trace Compaction using SAT-based Reachability Analysis
In today's designs, when functional verification fails, engineers perform debugging using the provided error traces. Reducing the length of error traces can help the debugging...
Sean Safarpour, Andreas G. Veneris, Hratch Mangass...
VMV
2001
86views Visualization» more  VMV 2001»
15 years 7 months ago
Segmentation of Range Images through the Integration of Different Strate Gies
Segmentation of range images has long been considered an important and difficult problem and continues to attract the attention of researchers in computer vision. In this paper we...
Mary Ellen Bock, Concettina Guerra
179
Voted
ERSA
2010
159views Hardware» more  ERSA 2010»
15 years 4 months ago
Acceleration of FPGA Fault Injection Through Multi-Bit Testing
SRAM-based FPGA devices are an attractive option for data processing on space-based platforms, due to high computational capabilities and a lower power envelope than traditional pr...
Grzegorz Cieslewski, Alan D. George, Adam Jacobs
ECCV
2006
Springer
16 years 8 months ago
Weakly Supervised Learning of Part-Based Spatial Models for Visual Object Recognition
Abstract. In this paper we investigate a new method of learning partbased models for visual object recognition, from training data that only provides information about class member...
David J. Crandall, Daniel P. Huttenlocher