Sciweavers

2286 search results - page 280 / 458
» Algorithms for Categorical Equivalence
Sort
View
EH
2002
IEEE
139views Hardware» more  EH 2002»
15 years 11 months ago
Evolving Cellular Automata to Model Fluid Flow in Porous Media
Fluid flow in porous media is a dynamic process that is traditionally modeled using PDE (Partial Differential Equations). In this approach, physical properties related to fluid fl...
Tina Yu, Seong Lee
166
Voted
TIME
2002
IEEE
15 years 11 months ago
A Logical Approach to Represent and Reason about Calendars
In this paper, we propose a logical approach to represent and reason about different time granularities. We identify a time granularity as a discrete infinite sequence of time po...
Carlo Combi, Massimo Franceschet, Adriano Peron
158
Voted
ECCV
2010
Springer
15 years 11 months ago
Bilinear factorization via Augmented Lagrange Multipliers
This paper presents a unified approach to solve different bilinear factorization problems in Computer Vision in the presence of missing data in the measurements. The problem is f...
177
Voted
CDC
2009
IEEE
131views Control Systems» more  CDC 2009»
15 years 11 months ago
Optimal and adaptive battery discharge strategies for Cyber-Physical Systems
Abstract— We introduce a dynamic battery model that describes the variations of the capacity of a battery under time varying discharge current. This model is input-output equival...
Fumin Zhang, Zhenwu Shi
174
Voted
CDC
2009
IEEE
117views Control Systems» more  CDC 2009»
15 years 11 months ago
Risk sensitive robust support vector machines
— We propose a new family of classification algorithms in the spirit of support vector machines, that builds in non-conservative protection to noise and controls overfitting. O...
Huan Xu, Constantine Caramanis, Shie Mannor, Sungh...