315 search results - page 27 / 63 » Parametric real-time reasoning |
BROADCOM
2008
IEEE
13 years 11 months ago
2008
IEEE
There has been a spate of interest in wireless mesh networks in recent years. The reason behind such an upsurge of interest is that wireless mesh networks are seen as enablers of u...
AAAI
2012
12 years 2 days ago
2012
General Game Playing (GGP) agents must be capable of playing a wide variety of games skillfully. Monte-Carlo Tree Search (MCTS) has proven an effective reasoning mechanism for thi...
ICFP
2009
ACM
14 years 10 months ago
2009
ACM
Type abstraction and intensional type analysis are features seemingly at odds--type abstraction is intended to guarantee parametricity and representation independence, while type ...
CVPR
2010
IEEE
14 years 5 months ago
2010
IEEE
We introduce a parametric version (pDRUR) of the recently proposed Dimensionality Reduction by Unsupervised Regression algorithm. pDRUR alternately minimizes reconstruction error ...
CASES
2011
ACM
12 years 9 months ago
2011
ACM
This paper advocates a rigorously formal and compositional style for obtaining key performance and/or interface metrics of systems with real-time constraints. We propose a hierarc...