Sciweavers

6155 search results - page 893 / 1231
» A language for multiple models of computation
Sort
View
TCAD
2002
146views more  TCAD 2002»
15 years 6 months ago
Static scheduling of multidomain circuits for fast functional verification
With the advent of system-on-a-chip design, many application specific integrated circuits (ASICs) now require multiple design clocks that operate asynchronously to each other. This...
Murali Kudlugi, Russell Tessier
TROB
2008
146views more  TROB 2008»
15 years 6 months ago
Mapping a Suburb With a Single Camera Using a Biologically Inspired SLAM System
This paper describes a biologically inspired approach to vision-only simultaneous localization and mapping (SLAM) on ground-based platforms. The core SLAM system, dubbed RatSLAM, i...
Michael Milford, Gordon Wyeth
CLIMA
2010
15 years 5 months ago
Speculative Abductive Reasoning for Hierarchical Agent Systems
Answer sharing is a key element in multi-agent systems as it allows agents to collaborate towards achieving a global goal. However exogenous knowledge of the world can influence e...
Jiefei Ma, Krysia Broda, Randy Goebel, Hiroshi Hos...
ITNG
2010
IEEE
15 years 5 months ago
Record Setting Software Implementation of DES Using CUDA
—The increase in computational power of off-the-shelf hardware offers more and more advantageous tradeoffs among efficiency, cost and availability, thus enhancing the feasibil...
Giovanni Agosta, Alessandro Barenghi, Fabrizio De ...
141
Voted
MICCAI
2009
Springer
16 years 8 months ago
Supervised Nonparametric Image Parcellation
Segmentation of medical images is commonly formulated as a supervised learning problem, where manually labeled training data are summarized using a parametric atlas. Summarizing th...
Mert R. Sabuncu, B. T. Thomas Yeo, Koen Van Leem...