Sciweavers

1729 search results - page 278 / 346
» Deterministic Expressions in C
Sort
View
AIPS
2011
13 years 1 months ago
Directed Search for Generalized Plans Using Classical Planners
We consider the problem of finding generalized plans for situations where the number of objects may be unknown and unbounded during planning. The input is a domain specification...
Siddharth Srivastava, Neil Immerman, Shlomo Zilber...
DLOG
2011
13 years 1 months ago
Query Answering over SROIQ Knowledge Bases with SPARQL
W3C currently extends the SPARQL query language with so-called entailment regimes, which define how queries are evaluated using logical entailment relations. We describe a sound a...
Ilianna Kollia, Birte Glimm, Ian Horrocks
SIAMMAX
2011
141views more  SIAMMAX 2011»
13 years 24 days ago
Best Low Multilinear Rank Approximation of Higher-Order Tensors, Based on the Riemannian Trust-Region Scheme
Higher-order tensors are used in many application fields, such as statistics, signal processing, and scientific computing. Efficient and reliable algorithms for manipulating thes...
Mariya Ishteva, Pierre-Antoine Absil, Sabine Van H...
ACII
2011
Springer
12 years 10 months ago
Predicting Facial Indicators of Confusion with Hidden Markov Models
Affect plays a vital role in learning. During tutoring, particular affective states may benefit or detract from student learning. A key cognitiveaffective state is confusion, which...
Joseph F. Grafsgaard, Kristy Elizabeth Boyer, Jame...
DAC
2011
ACM
12 years 9 months ago
Modeling adaptive streaming applications with parameterized polyhedral process networks
The Kahn Process Network (KPN) model is a widely used modelof-computation to specify and map streaming applications onto multiprocessor systems-on-chips. In general, KPNs are dif...
Jiali Teddy Zhai, Hristo Nikolov, Todor Stefanov