Sciweavers

250 search results - page 46 / 50
» State Space Representation for Verification of Open Systems
Sort
View
ISVC
2007
Springer
15 years 8 months ago
Visualization of Resource Allocation in Large-Scale Mobile Ad Hoc Networks
Resource allocation in ad hoc communication networks is a field of high complexity because of both i) the distributed nature of the interactions between the nodes, and ii) the lar...
Alex Fridman, Daniel Hennessey, David Breen, Steve...
AAAI
2006
15 years 3 months ago
Decision Making in Uncertain Real-World Domains Using DT-Golog
DTGolog, a decision-theoretic agent programming language based on the situation calculus, was proposed to ease some of the computational difficulties associated with Markov Decisi...
Mikhail Soutchanski, Huy Pham, John Mylopoulos
134
Voted
JMLR
2006
124views more  JMLR 2006»
15 years 1 months ago
Policy Gradient in Continuous Time
Policy search is a method for approximately solving an optimal control problem by performing a parametric optimization search in a given class of parameterized policies. In order ...
Rémi Munos
JCDL
2006
ACM
141views Education» more  JCDL 2006»
15 years 7 months ago
An architecture for the aggregation and analysis of scholarly usage data
Although recording of usage data is common in scholarly information services, its exploitation for the creation of valueadded services remains limited due to concerns regarding, a...
Johan Bollen, Herbert Van de Sompel
99
Voted
CVPR
2007
IEEE
16 years 3 months ago
On Constructing Facial Similarity Maps
Automatically determining facial similarity is a difficult and open question in computer vision. The problem is complicated both because it is unclear what facial features humans ...
Alex Holub, Yun-hsueh Liu, Pietro Perona