Sciweavers

3824 search results - page 677 / 765
» Geometry Constructions Language
Sort
View
KR
2010
Springer
16 years 6 days ago
Multi-Agent Only-Knowing Revisited
Levesque introduced the notion of only-knowing to precisely capture the beliefs of a knowledge base. He also showed how only-knowing can be used to formalize non-monotonic behavio...
Vaishak Belle, Gerhard Lakemeyer
SPAA
2009
ACM
16 years 2 days ago
Brief announcement: a lower bound for depth-restricted work stealing
Work stealing is a common technique used in the runtime schedulers of parallel languages such as Cilk and parallel libraries such as Intel Threading Building Blocks (TBB). Depth-r...
Jim Sukha
192
Voted
AIED
2009
Springer
16 years 2 days ago
Cohesion Relationships in Tutorial Dialogue as Predictors of Affective States
We explored the possibility of predicting learners’ affective states (boredom, flow/engagement, confusion, and frustration) by monitoring variations in the cohesiveness of tutori...
Sidney K. D'Mello, Nia Dowell, Arthur C. Graesser
228
Voted
EDBT
2009
ACM
110views Database» more  EDBT 2009»
16 years 1 days ago
A sampling approach for XML query selectivity estimation
As the Extensible Markup Language (XML) rapidly establishes itself as the de facto standard for presenting, storing, and exchanging data on the Internet, large volume of XML data ...
Cheng Luo, Zhewei Jiang, Wen-Chi Hou, Feng Yu, Qia...
188
Voted
SOFSEM
2009
Springer
15 years 12 months ago
Can Component/Service-Based Systems Be Proved Correct?
Component-oriented and service-oriented approaches have gained a strong enthusiasm in industries and academia with a particular interest for service-oriented approaches. The servic...
Christian Attiogbé