4491 search results - page 308 / 899 » Algorithm Engineering |
138
Voted
ATAL
2008
Springer
15 years 5 months ago
2008
Springer
In this paper we present the Electronic Institutions Development Environment (EIDE) to support the engineering of multiagent systems as Electronic Institutions. An electronic inst...
148
click to vote
ETVC
2008
15 years 5 months ago
2008
Intrinsic curvature flows can be used to design Riemannian metrics by prescribed curvatures. This chapter presents three discrete curvature flow methods that are recently introduce...
145
Voted
FOSSACS
2008
Springer
15 years 5 months ago
2008
Springer
Whereas formal verification of timed systems has become a very active field of research, the idealised mathematical semantics of timed automata cannot be faithfully implemented. Se...
115
Voted
AVI
2004
15 years 4 months ago
2004
I present an approach to designing decision support systems. The approach is to dissect a decision from both a normative and a cognitive perspective, and then to design a diagram ...
103
Voted
AVI
2004
15 years 4 months ago
2004
This paper describes two visualisation algorithms that give an impression of current activity on a web site. Both focus on giving a sense of the trail of individual visitors withi...