3994 search results - page 430 / 799 » A Linear Logical Framework |
214
click to vote
ICCV
2011
IEEE
14 years 7 months ago
2011
IEEE
In this paper, we propose a physically-based dynamical model for tracking. Our model relies on Newton’s second law of motion, which governs any real-world dynamical system. As a...
252
click to vote
INFOCOM
2012
IEEE
13 years 10 months ago
2012
IEEE
Abstract—The problem of minimizing queueing delay of opportunistic access of multiple continuous time Markov channels is considered. A new access policy based on myopic sensing a...
209
click to vote
AAAI
2012
13 years 10 months ago
2012
Existing clustering methods can be roughly classified into two categories: generative and discriminative approaches. Generative clustering aims to explain the data and thus is ad...
240
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
In this paper a new architecture for a variety of data mining tasks is introduced. The Device-Based Software Architecture (DBSA) is a highly portable and generic data mining softw...
241
click to vote
CONSTRAINTS
2008
15 years 7 months ago
2008
We present the Auckland Layout Model (ALM), a constraint-based technique for specifying 2D layout as it is used for arranging the controls in a GUI. Most GUI frameworks offer layo...