Sciweavers

3164 search results - page 390 / 633
» On Granular Knowledge Structures
Sort
View
TYPES
2004
Springer
15 years 12 months ago
A Content Based Mathematical Search Engine: Whelp
Abstract. The prototype of a content based search engine for mathematical knowledge supporting a small set of queries requiring matching and/or typing operations is described. The ...
Andrea Asperti, Ferruccio Guidi, Claudio Sacerdoti...
WLP
2004
Springer
15 years 12 months ago
Optimizing the Evaluation of XPath Using Description Logics
: The growing use of XML in commercial as well as non-commercial domains to transport information poses new challenges to concepts to access these information. Common ways to acces...
Peter Baumgartner, Ulrich Furbach, Margret Gro&szl...
ECBS
2010
IEEE
151views Hardware» more  ECBS 2010»
15 years 12 months ago
Generating Test Plans for Acceptance Tests from UML Activity Diagrams
The Unified Modeling Language (UML) is the standard to specify the structure and behaviour of software systems. The created models are a constitutive part of the software speciļ¬...
Andreas Heinecke, Tobias Brückmann, Tobias Gr...
IPPS
2003
IEEE
15 years 12 months ago
The Reconstruction of a Mobile Agent Computation and Its Validation
We propose a new representation to describe mobile agents computations, where the underlying control structures are diffusing computations. Usually, distributed coms are abstracte...
Mamoun Filali, Philippe Mauran, Gérard Padi...
AIME
2003
Springer
15 years 11 months ago
Multi-relational Data Mining in Medical Databases
Abstract. This paper presents the application of a method for mining data in a multi-relational database that contains some information about patients strucked down by chronic hepa...
Amaury Habrard, Marc Bernard, François Jacq...