5856 search results - page 792 / 1172 » Developing Query Patterns |
113
click to vote
CORR
2010
Springer
15 years 4 months ago
2010
Springer
This paper reports our work on extending the OMNeT++ INET Framework with a directional radio model, putting a special emphasis on the implementation of asymmetrical communications...
150
click to vote
COLING
2010
15 years 1 months ago
2010
With OWL (Web Ontology Language) established as a standard for encoding ontologies on the Semantic Web, interest has begun to focus on the task of verbalising OWL code in controll...
258
click to vote
PUC
2011
15 years 1 months ago
2011
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
210
click to vote
JAR
2010
15 years 1 months ago
2010
Based on inductive definitions, we develop a tool that automates the definition of partial recursive functions in higher-order logic (HOL) and provides appropriate proof rules for ...
176
Voted
JMLR
2010
15 years 1 months ago
2010
We present a continuous time Bayesian network reasoning and learning engine (CTBN-RLE). A continuous time Bayesian network (CTBN) provides a compact (factored) description of a co...