Sciweavers

72 search results - page 5 / 15
» On the Complements of Partial k-Trees
Sort
View
JUCS
2010
159views more  JUCS 2010»
13 years 4 months ago
Authoring of Probabilistic Sequencing in Adaptive Hypermedia with Bayesian Networks
Abstract: One of the difficulties that self-directed learners face on their learning process is choosing the right learning resources. One of the goals of adaptive educational syst...
Sergio Gutiérrez Santos, Jaime Mayor-Berzal...
ASAP
2007
IEEE
203views Hardware» more  ASAP 2007»
14 years 1 months ago
Reconfigurable Universal Adder
In this paper we present a novel adder/subtracter arithmetic unit that combines Binary and Binary Code Decimal (BCD) operations. The proposed unit uses effective addition/subtract...
Humberto Calderon, Georgi Gaydadjiev, Stamatis Vas...
DM
2000
108views more  DM 2000»
13 years 9 months ago
On completeness of word reversing
Word reversing is a combinatorial operation on words that detects pairs of equivalent words in monoids that admit a presentation of a certain form. Here we give conditions for this...
Patrick Dehornoy
AOSE
2007
Springer
14 years 4 months ago
A Goal-Oriented Software Testing Methodology
Abstract. Agent-Oriented Software Engineering (AOSE) methodologies are proposed to develop complex distributed systems based upon the agent paradigm. The natural implementation for...
Duy Cu Nguyen, Anna Perini, Paolo Tonella
ICCAD
1999
IEEE
78views Hardware» more  ICCAD 1999»
14 years 2 months ago
Probabilistic state space search
This paper describes a probabilistic approach to state space search. The presented method applies a ranking of the design states according to their probability of reaching a given...
Andreas Kuehlmann, Kenneth L. McMillan, Robert K. ...