Search Sciweavers | Sciweavers

1155 search results - page 10 / 231

» Elaborating Domain Descriptions

click to vote

ITC
2000
IEEE

81views Hardware» more ITC 2000»

A domain coverage metric for the validation of behavioral VHDL descriptions

13 years 12 months ago

Download testlab.ics.uci.edu

Qiushuang Zhang, Ian G. Harris

claim paper

Read More »

click to vote

CLIMA
2006

261views Intelligent Agents» more CLIMA 2006»

Multi-Agent FLUX for the Gold Mining Domain (System Description)

13 years 9 months ago

Download cgi.cse.unsw.edu.au

FLUX is a declarative, CLP-based programming method for the design of agents that reason logically about their actions and sensor information in the presence of incomplete knowledg...

Stephan Schiffel, Michael Thielscher

claim paper

Read More »

click to vote

DLOG
1997

141views Automated Reasoning» more DLOG 1997»

Description Logics with Aggregates and Concrete Domains

13 years 9 months ago

Download www.inf.unibz.it

Franz Baader, Ulrike Sattler

claim paper

Read More »

click to vote

TOSEM
2008

60views more TOSEM 2008»

Semantic parameterization: A process for modeling domain descriptions

13 years 7 months ago

Download www.csc.ncsu.edu

Travis D. Breaux, Annie I. Antón, Jon Doyle

claim paper

Read More »

click to vote

DSL
2009

169views Programming Languages» more DSL 2009»

Generic Libraries in C++ with Concepts from High-Level Domain Descriptions in Haskell

13 years 5 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers