Sciweavers

106 search results - page 8 / 22
» Structured Regularizer for Neural Higher-Order Sequence Mode...
Sort
View
SMILE
1998
Springer
15 years 2 months ago
Interactive 3D Modeling from Multiple Images Using Scene Regularities
Abstract. We present some recent progress in designing and implementing two interactive image-based 3D modeling systems. The first system constructs 3D models from a collection of ...
Heung-Yeung Shum, Richard Szeliski, Simon Baker, M...
TNN
2010
182views Management» more  TNN 2010»
14 years 4 months ago
A discrete-time neural network for optimization problems with hybrid constraints
Abstract--Recurrent neural networks have become a prominent tool for optimizations including linear or nonlinear variational inequalities and programming, due to its regular mathem...
Huajin Tang, Haizhou Li, Zhang Yi
CAV
2007
Springer
108views Hardware» more  CAV 2007»
15 years 4 months ago
Systematic Acceleration in Regular Model Checking
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
Bengt Jonsson, Mayank Saksena
UAI
2008
14 years 11 months ago
Feature Selection via Block-Regularized Regression
Identifying co-varying causal elements in very high dimensional feature space with internal structures, e.g., a space with as many as millions of linearly ordered features, as one...
Seyoung Kim, Eric P. Xing
IAT
2008
IEEE
14 years 10 months ago
Planning with iFALCON: Towards A Neural-Network-Based BDI Agent Architecture
This paper presents iFALCON, a model of BDI (beliefdesire-intention) agents that is fully realized as a selforganizing neural network architecture. Based on multichannel network m...
Budhitama Subagdja, Ah-Hwee Tan