Search Sciweavers | Sciweavers

2685 search results - page 25 / 537

» A Formal Semantics for SPKI

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 1 months ago

Download maude.sip.ucm.es

Manuel Clavel, Narciso Martí-Oliet, Miguel ...

claim paper

Read More »

click to vote

DATE
2003
IEEE

77views Hardware» more DATE 2003»

Formal Semantics of Synchronous SystemC

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers