Sciweavers

1190 search results - page 171 / 238
» The Continuing Quest for Abstraction
Sort
View
BTW
2001
Springer
113views Database» more  BTW 2001»
14 years 1 months ago
Version Propagation in Federated Database Systems
Abstract Integrated engineering environments, based on federated database technology, are, among others, a means to control the integrity of and dependencies between product data c...
Martin Schönhoff, Markus Strässler, Klau...
PAPM
2001
Springer
128views Mathematics» more  PAPM 2001»
14 years 1 months ago
Faster and Symbolic CTMC Model Checking
Abstract. This paper reports on the implementation and the experiments with symbolic model checking of continuous-time Markov chains using multi-terminal binary decision diagrams (...
Joost-Pieter Katoen, Marta Z. Kwiatkowska, Gethin ...
ICMCS
2000
IEEE
77views Multimedia» more  ICMCS 2000»
14 years 1 months ago
Protocol for Collaborative Multimedia Presentations
Abstract. Many multimedia presentation applications involve retrieval of objects from more than one collaborating server. Presentations of objects from different collaborating serv...
Eenjun Hwang, B. Prabhakaran
WETICE
2000
IEEE
14 years 1 months ago
Workspace Awareness in Mobile Virtual Teams
Staying aware of each other in cooperative team work is something we take for granted in the everyday world, even if collaboration is not continuously face-to-face, and team membe...
Alois Ferscha
ECCV
2010
Springer
14 years 1 months ago
Using Partial Edge Contour Matches for Efficient Object Category Localization
Abstract. We propose a method for object category localization by partially matching edge contours to a single shape prototype of the category. Previous work in this area either re...
Hayko Riemenschneider, Michael Donoser, and Horst ...