Sciweavers

245 search results - page 33 / 49
» State Complexity of Testing Divisibility
Sort
View
77
Voted
ITC
1997
IEEE
80views Hardware» more  ITC 1997»
15 years 4 months ago
Scan Synthesis for One-Hot Signals
Tri-state buses and pass transistor logic are used in many complex applications to achieve high performance and small area. Such circuits often contain logic requiring one-hot sig...
Subhasish Mitra, LaNae J. Avra, Edward J. McCluske...
PUC
2010
121views more  PUC 2010»
14 years 11 months ago
Expressing and interpreting emotional movements in social games with robots
This paper provides a framework for recording, analyzing and modeling of 3 dimensional emotional movements for embodied game applications. To foster embodied interaction, we need i...
Emilia I. Barakova, Tino Lourens
ECCC
2011
205views ECommerce» more  ECCC 2011»
14 years 7 months ago
Graphs of Bounded Treewidth can be Canonized in AC1
In recent results the complexity of isomorphism testing on graphs of bounded treewidth is improved to TC1 [GV06] and further to LogCFL [DTW10]. The computation of canonical forms ...
Fabian Wagner
ICCV
2005
IEEE
15 years 6 months ago
KALMANSAC: Robust Filtering by Consensus
We propose an algorithm to perform causal inference of the state of a dynamical model when the measurements are corrupted by outliers. While the optimal (maximumlikelihood) soluti...
Andrea Vedaldi, Hailin Jin, Paolo Favaro, Stefano ...
119
Voted
HPCN
1998
Springer
15 years 4 months ago
A Barotropic Global Ocean Model and its Parallel Implementation on Unstructured Grids
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...
Hakan Öksüzoglu, A. G. M. van Hees