Sciweavers

18209 search results - page 249 / 3642
» Some Remarks on the Paper
Sort
View
156
Voted
IWINAC
2005
Springer
16 years 3 days ago
Reasoning by Assumption: Formalisation and Analysis of Human Reasoning Traces
This paper shows how empirical human reasoning traces can be formalised and automatically analysed against dynamic properties they fulfil. To this end, for the reasoning pattern c...
Tibor Bosse, Catholijn M. Jonker, Jan Treur
SEMWEB
2005
Springer
16 years 3 days ago
Ontology Design Patterns for Semantic Web Content
The paper presents a framework for introducing design patterns that facilitate or improve the techniques used during ontology lifecycle. Some distinctions are drawn between kinds o...
Aldo Gangemi
DAGM
2004
Springer
16 years 18 hour ago
The Redundancy Pyramid and Its Application to Segmentation on an Image Sequence
Abstract. Irregular pyramids organize a sequence of partitions of images in such a way that each partition is deduced from the preceding one by union of some of its regions. In thi...
Jocelyn Marchadier, Walter G. Kropatsch, Allan Han...
ICCS
2004
Springer
16 years 5 hour ago
Graphical and Computational Representation of Groups
An important part of the computer science is focused on the links that can be established between group theory and graph theory. Cayley graphs can establish such a link but meet so...
Alain Bretto, Luc Gillibert
METAINFORMATICS
2004
Springer
15 years 12 months ago
Assessing the Impacts of Open Hypermedia Problems on Structural Computing
This paper is focusing on some interesting issues about service publicity and usability while trying to move from the classic Open Hypermedia Systems (OHSs) to structural aware env...
Nikos Karousos, Nikos Tsirakis