Search Sciweavers | Sciweavers

2688 search results - page 23 / 538

» A formal semantics for P3P

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

14 years 22 days 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 »

click to vote

MLDM
2009
Springer

135views Machine Learning» more MLDM 2009»

Tree Kernel and Feature Vector Methods for Formal Semantic Requests Classification

14 years 2 months ago

Download www.limsi.fr

François Bouchet, Jean-Paul Sansonnet

claim paper

Read More »

click to vote

AIED
2007
Springer

73views Artificial Intelligence» more AIED 2007»

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

14 years 1 months ago

Download www.cs.cmu.edu

Maxim Makatchev, Kurt VanLehn

claim paper

Read More »

click to vote

ICAIL
2005
ACM

96views Artificial Intelligence» more ICAIL 2005»

A legal drafting environment based on formal and semantic XML standards

14 years 1 months ago

Download www.xmleges.org

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

claim paper

Read More »

click to vote

AMAST
2004
Springer

80views Software Engineering» more AMAST 2004»

Formalizing and Proving Semantic Relations between Specifications by Reflection

14 years 27 days ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers