Sciweavers

1914 search results - page 297 / 383
» Semantic domains for Handel-C
Sort
View
CLEIEJ
2008
103views more  CLEIEJ 2008»
14 years 11 months ago
An Ontology-based Framework and its Application to Effective Collaboration
In the past few years Artificial Intelligence has been gradually introduced to enhance Education through technologies. However, usual approaches provide systems with a kind of exp...
Seiji Isotani, Riichiro Mizoguchi
98
Voted
ENTCS
2010
82views more  ENTCS 2010»
14 years 11 months ago
A Strict-Observational Interface Theory for Analysing Service Orchestrations
Service oriented computing is an accepted architectural style for developing large, distributed software systems. A particular promise of such architectures is service orchestrati...
Philip Mayer, Andreas Schroeder, Sebastian S. Baue...
JBI
2008
127views Bioinformatics» more  JBI 2008»
14 years 11 months ago
Infrastructure for dynamic knowledge integration - Automated biomedical ontology extension using textual resources
We present a novel ontology integration technique that explicitly takes the dynamics and data-intensiveness of e-health and biomedicine application domains into account. Changing ...
Vít Novácek, Loredana Laera, Siegfri...
CORR
2007
Springer
135views Education» more  CORR 2007»
14 years 11 months ago
Association Rules in the Relational Calculus
One of the most utilized data mining tasks is the search for association rules. Association rules represent significant relationships between items in transactions. We extend the...
Oliver Schulte, Flavia Moser, Martin Ester, Zhiyon...
JFP
2006
91views more  JFP 2006»
14 years 11 months ago
A reflective functional language for hardware design and theorem proving
This paper introduces reFLect, a functional programming language with reflection features intended for applications in hardware design and verification. The reFLect language is st...
Jim Grundy, Thomas F. Melham, John W. O'Leary