Sciweavers

5856 search results - page 792 / 1172
» Developing Query Patterns
Sort
View
83
Voted
CORR
2010
Springer
69views Education» more  CORR 2010»
15 years 1 months ago
Extending INET Framework for Directional and Asymmetrical Wireless Communications
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...
Paula Uribe, Juan Carlos Maureira Bravo, Olivier D...
101
Voted
COLING
2010
14 years 10 months ago
Expressing OWL axioms by English sentences: dubious in theory, feasible in practice
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...
Richard Power, Allan Third
PUC
2011
14 years 10 months ago
Toward a cooperative programming framework for context-aware applications
OPEN is an ontology-based programming framework for rapid prototyping, sharing, and personalization of context-aware applications. Unlike previous systems that provide programming ...
Bin Guo, Daqing Zhang, Michita Imai
154
Voted
JAR
2010
122views more  JAR 2010»
14 years 10 months ago
Partial and Nested Recursive Function Definitions in Higher-order Logic
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 ...
Alexander Krauss
127
Voted
JMLR
2010
125views more  JMLR 2010»
14 years 10 months ago
Continuous Time Bayesian Network Reasoning and Learning Engine
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...
Christian R. Shelton, Yu Fan, William Lam, Joon Le...