Search Sciweavers | Sciweavers

148 search results - page 4 / 30

» ml 2006

CORR
2006
Springer

103views Education» more CORR 2006»

ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics

15 years 2 months ago

Download ibis.in.tum.de

Adrian Paschke

claim paper

Read More »

click to vote

IEICET
2006

69views more IEICET 2006»

Prototype Implementation of Real-Time ML Detectors for Spatial Multiplexing Transmission

15 years 1 months ago

Download people.seas.harvard.edu

Toshiaki Koike, Yukinaga Seki, Hidekazu Murata, Su...

claim paper

Read More »

click to vote

RML
2002

92views Business» more RML 2002»

SweetJess: Translating DAMLRuleML to JESS

15 years 1 months ago

Download www.mit.edu

Benjamin N. Grosof, Mahesh D. Gandhe, Timothy W. F...

claim paper

Read More »

click to vote

BIRTHDAY
2006
Springer

88views Applied Computing» more BIRTHDAY 2006»

From OBJ to ML to Coq

15 years 5 months ago

Download www.lix.polytechnique.fr

Jacek Chrzaszcz, Jean-Pierre Jouannaud

claim paper

Read More »

105

click to vote

CDES
2006

108views Hardware» more CDES 2006»

MolML: An Abstract Scripting Language for Assembly of Mechanical Nanocomputer Architectures

15 years 3 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers