Sciweavers

2226 search results - page 217 / 446
» Pdk: The System and Its Language
Sort
View
UM
2007
Springer
16 years 20 days ago
Exploiting Evidence Analysis in Plan Recognition
Information graphics, such as bar charts and line graphs, that appear in popular media generally have a message that they are intended to convey. We have developed a novel plan inf...
Sandra Carberry, Stephanie Elzer
ANSS
2006
IEEE
16 years 18 days ago
A Simulation and Decision Framework for Selection of Numerical Solvers in
Selecting the right numerical solver or the most appropriate numerical package for a particular simulation problem it is increasingly difficult for users without an extensive math...
Peter Bunus
CONCUR
2004
Springer
15 years 12 months ago
Resource Control for Synchronous Cooperative Threads
We develop new methods to statically bound the resources needed for the execution of systems of concurrent, interactive threads. Our study is concerned with a synchronous model of ...
Roberto M. Amadio, Silvano Dal-Zilio
ICWE
2004
Springer
15 years 12 months ago
QoS in Multichannel IS: The MAIS Approach
Multichannel adaptive information systems can deliver services over different types of networks and access devices. Since different providers may offer either functionally equivale...
Cinzia Cappiello, Paolo Missier, Barbara Pernici, ...
ERCIMDL
1998
Springer
116views Education» more  ERCIMDL 1998»
15 years 10 months ago
Documentation, Cataloging and Query by Navigation: A Practical and Sound Approach
In this paper we discuss the construction of an automated information system for a collection of visual reproductions of art objects. Special attention is payed to the economical a...
F. J. M. Bosman, Peter Bruza, Theo P. van der Weid...