Sciweavers

4650 search results - page 368 / 930
» Generating and evaluating evaluative arguments
Sort
View
FAC
2007
122views more  FAC 2007»
15 years 7 months ago
Formal techniques for performance analysis: blending SAN and PEPA
Abstract. In this paper we consider two performance modelling techniques from the perspectives of model construction, generation of an underlying continuous time Markov process, an...
Jane Hillston, Leïla Kloul
IJLT
2007
110views more  IJLT 2007»
15 years 7 months ago
Authoring adaptive educational hypermedia on the semantic desktop
: Personalisation of information is a desired feature, but authoring and creation of adaptive hypermedia is a difficult endeavour. Especially, manual annotation is the bottleneck o...
Maurice Hendrix, Alexandra I. Cristea, Wolfgang Ne...
IJMMS
2007
107views more  IJMMS 2007»
15 years 7 months ago
Ontologies as facilitators for repurposing web documents
This paper investigates the role of ontologies as a central part of an architecture to repurpose existing material from the web. A prototype system called ArtEquAKT is presented, ...
Mark J. Weal, Harith Alani, Sanghee Kim, Paul H. L...
TEC
2008
135views more  TEC 2008»
15 years 7 months ago
Quantum Genetic Optimization
Abstract--The complexity of the selection procedure of a genetic algorithm that requires reordering, if we restrict the class of the possible fitness functions to varying fitness f...
Andrea Malossini, Enrico Blanzieri, T. Calarco
JCT
2007
90views more  JCT 2007»
15 years 7 months ago
Elliptic enumeration of nonintersecting lattice paths
We enumerate lattice paths in the planar integer lattice consisting of positively directed unit vertical and horizontal steps with respect to a specific elliptic weight function. ...
Michael Schlosser