Sciweavers

4224 search results - page 212 / 845
» Reasoning about Choice
Sort
View
SEMWEB
2009
Springer
16 years 1 months ago
Mechanisms for Importing Modules
Abstract The current OWL 2 specification provides mechanisms for importing whole ontologies. This paper discusses the import of only a module of an external ontology, which is spe...
Bijan Parsia, Ulrike Sattler, Thomas Schneider
DATE
2006
IEEE
127views Hardware» more  DATE 2006»
16 years 1 months ago
Software implementation of Tate pairing over GF(2m)
Recently, the interest about the Tate pairing over binary fields has decreased due to the existence of efficient attacks to the discrete logarithm problem in the subgroups of su...
Guido Bertoni, Luca Breveglieri, Pasqualina Fragne...
ICALT
2006
IEEE
16 years 1 months ago
CPM: A UML Profile to Design Cooperative PBL Situations at Didactical Level
In this paper, we present our research results about a UML-based modeling language dedicated to Problem-Based Learning design. The CPM (Cooperative Problem-Based learning Metamode...
Thierry Nodenot, Pierre Laforcade
AGILEDC
2005
IEEE
16 years 24 days ago
Estimating in Actual Time
In an effort to improve our understanding of the way we work, my team grouped together ideas from various sources to come up with an estimation scheme that avoided the confusing n...
Moses M. Hohman
ECAL
2005
Springer
16 years 21 days ago
Evolving Neural Mechanisms for an Iterated Discrimination Task: A Robot Based Model
This paper is about the design of an artificial neural network to control an autonomous robot that is required to iteratively solve a discrimination task based on time-dependent s...
Elio Tuci, Christos Ampatzis, Marco Dorigo