Sciweavers

3717 search results - page 200 / 744
» Representing Multiple Theories
Sort
View
BCSHCI
2008
15 years 5 months ago
Using personas effectively
Personas are a powerful design and communication tool to help all those involved in the creation of interactive systems to better focus their efforts on their users. A persona is ...
Peter Bagnall
KRMED
2004
15 years 5 months ago
Towards a computational paradigm for biomedical structure
The symbolic representation of the physical structure of living organisms needs an ontologically well-founded and logically sound approach so that formal reasoning can adequately ...
Stefan Schulz, Udo Hahn
ROOM
2000
15 years 5 months ago
Structured Axiomatic Semantics for UML Models
In this paper we provide a systematic formal interpretation for most elements of the UML notation. This interpretation, in a structured temporal logic, enables precise analysis of...
Kevin Lano, Juan Bicarregui, Andy Evans
AAMAS
2008
Springer
15 years 4 months ago
Norms and plans as unification criteria for social collectives
Abstract. Based on the formal-ontological paradigm of Constructive Descriptions and Situations, we propose a definition of social collectives that includes social agents, plans, no...
Aldo Gangemi
128
Voted
AMAI
2006
Springer
15 years 4 months ago
Computational methods for database repair by signed formulae
We introduce a simple and practical method for repairing inconsistent databases. Given a possibly inconsistent database, the idea is to properly represent the underlying problem, i...
Ofer Arieli, Marc Denecker, Bert Van Nuffelen, Mau...