Search Sciweavers | Sciweavers

2688 search results - page 23 / 538

» A formal semantics for P3P

133

click to vote

ATAL
2003
Springer

117views Intelligent Agents» more ATAL 2003»

Formal semantics and communication strategies for proactive information delivery among team-based agents

15 years 11 months ago

Download faculty.ist.psu.edu

Eﬀective human teams often beneﬁt from proactivity through members’ capability of anticipating diﬀerent needs of teammates. In this paper, we focus on three issues related...

John Yen, Xiaocong Fan, Shuang Sun, Rui Wang, Cong...

claim paper

Read More »

124

click to vote

MLDM
2009
Springer

135views Machine Learning» more MLDM 2009»

Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification

16 years 17 days ago

Download www.limsi.fr

François Bouchet, Jean-Paul Sansonnet

claim paper

Read More »

116

click to vote

AIED
2007
Springer

73views Artificial Intelligence» more AIED 2007»

Combining Bayesian Networks and Formal Reasoning for Semantic Classification of Student Utterances

16 years 6 days ago

Download www.cs.cmu.edu

Maxim Makatchev, Kurt VanLehn

claim paper

Read More »

130

click to vote

ICAIL
2005
ACM

96views Artificial Intelligence» more ICAIL 2005»

A legal drafting environment based on formal and semantic XML standards

15 years 11 months ago

Download www.xmleges.org

Carlo Biagioli, Enrico Francesconi, Pier-Luigi Spi...

claim paper

Read More »

112

click to vote

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

15 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers