Sciweavers

4418 search results - page 697 / 884
» A Formal Approach to Computer Systems Requirements Documenta...
Sort
View
SAC
2000
ACM
15 years 11 months ago
The Mobile Agent Technology to Support and to Access Museum Information
The global scenario put together by communication networks determines new opportunities towards the realization of Internetbased distributed services in many complex and composite...
Paolo Bellavista, Antonio Corradi, Andrea Tomasi
VIS
2004
IEEE
96views Visualization» more  VIS 2004»
16 years 7 months ago
Interactive Point-Based Isosurface Extraction
We propose a novel point-based approach to view dependent isosurface extraction. We introduce a fast visibility query system for the view dependent traversal, which exhibits moder...
Yarden Livnat, Xavier Tricoche
SAC
2006
ACM
16 years 14 days ago
Distributed context management in a mobility and adaptation enabling middleware (MADAM)
CT As computing devices are getting smaller, we tend to bring them everywhere. Consequently the operating conditions of the devices are constantly changing (e.g. changing user requ...
Marius Mikalsen, Nearchos Paspallis, Jacqueline Fl...
CC
2005
Springer
153views System Software» more  CC 2005»
15 years 12 months ago
Completeness Analysis for Incomplete Object-Oriented Programs
We introduce a new approach, called completeness analysis, to computing points-to sets for incomplete Java programs such as library modules or applications in the presence of dynam...
Jingling Xue, Phung Hua Nguyen
ECCV
2010
Springer
15 years 11 months ago
SuperParsing: Scalable Nonparametric Image Parsing with Superpixels
This paper presents a simple and effective nonparametric approach to the problem of image parsing, or labeling image regions (in our case, superpixels produced by bottom-up segmen...