Sciweavers

4335 search results - page 667 / 867
» Ontology Engineering Relationally
Sort
View
FSTTCS
2004
Springer
15 years 6 months ago
Decidability of MSO Theories of Tree Structures
In this paper we provide an automaton-based solution to the decision problem for a large set of monadic second-order theories of deterministic tree structures. We achieve it in two...
Angelo Montanari, Gabriele Puppis
IBERAMIA
2004
Springer
15 years 6 months ago
Checking Social Properties of Multi-agent Systems with Activity Theory
Many approaches of the agent paradigm emphasize the social and intentional features of their systems, what are called social properties. The study of these aspects demands their ow...
Rubén Fuentes, Jorge J. Gómez-Sanz, ...
70
Voted
ICWE
2004
Springer
15 years 6 months ago
Modeling User Input and Hypermedia Dynamics in Hera
Abstract. Methodologies for the engineering of Web applications typically provide models that drive the generation of the hypermedia navigation structure in the application. Most o...
Geert-Jan Houben, Flavius Frasincar, Peter Barna, ...
69
Voted
IEAAIE
2004
Springer
15 years 6 months ago
Iterative Semi-supervised Learning: Helping the User to Find the Right Records
This paper proposes extending semi-supervised learning by allowing an ongoing interaction between a user and the system. The extension is intended to not only to speed up search fo...
Chris Drummond
83
Voted
LCTRTS
2004
Springer
15 years 6 months ago
Modeling and simulating electronic textile applications
— This paper describes our experiences with a simulation environment for electronic textiles. This simulation environment, based upon Ptolemy, enables us to model a diverse range...
Thomas Martin, Mark T. Jones, Joshua Edmison, Tanw...