Sciweavers

3362 search results - page 156 / 673
» A definition of subjective possibility
Sort
View
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
IUI
2004
ACM
15 years 12 months ago
Handling device diversity through multi-level stylesheets
With the advent of in-home networking and ubiquitous computing, it becomes apparent that we have an increasing need for automatic adaptation of user interfaces to different device...
Walter Dees
CORR
2011
Springer
149views Education» more  CORR 2011»
14 years 10 months ago
Intensionality and Two-steps Interpretations
In this paper we considered the extension of the First-order Logic Bealer’s intensional abstraction operator. Contemporary use of the term ’intension’ derives from the tradit...
Zoran Majkic
ICDE
2008
IEEE
219views Database» more  ICDE 2008»
16 years 7 months ago
Never Walk Alone: Uncertainty for Anonymity in Moving Objects Databases
Preserving individual privacy when publishing data is a problem that is receiving increasing attention. According to the k-anonymity principle, each release of data must be such th...
Osman Abul, Francesco Bonchi, Mirco Nanni
VIS
2009
IEEE
300views Visualization» more  VIS 2009»
16 years 7 months ago
Predictor-Corrector Schemes for Visualization of Smoothed Particle Hydrodynamics Data
Abstract--In this paper we present a method for vortex core line extraction which operates directly on the smoothed particle hydrodynamics (SPH) representation and, by this, genera...
Benjamin Schindler, Raphael Fuchs, John Biddisco...