Sciweavers

3676 search results - page 274 / 736
» Scalable component abstractions
Sort
View
CDVE
2007
Springer
112views Visualization» more  CDVE 2007»
16 years 26 days ago
VICA: A Voronoi Interface for Visualizing Collaborative Annotations
Abstract. Large-scale scientific investigation often includes collaborative data exploration among geographically distributed researchers. The tools used for this exploration typi...
Yue Wang, James Shearer, Kwan-Liu Ma
FORMATS
2007
Springer
16 years 26 days ago
Quantitative Model Checking Revisited: Neither Decidable Nor Approximable
Abstract. Quantitative model checking computes the probability values of a given property quantifying over all possible schedulers. It turns out that maximum and minimum probabilit...
Sergio Giro, Pedro R. D'Argenio
ICA
2007
Springer
16 years 26 days ago
Is the General Form of Renyi's Entropy a Contrast for Source Separation?
Abstract. Renyi’s entropy-based criterion has been proposed as an objective function for independent component analysis because of its relationship with Shannon’s entropy and i...
Frédéric Vrins, Dinh-Tuan Pham, Mich...
ICDT
2007
ACM
90views Database» more  ICDT 2007»
16 years 25 days ago
On the Expressiveness of Implicit Provenance in Query and Update Languages
Abstract. Information concerning the origin of data (that is, its provenance) is important in many areas, especially scientific recordkeeping. Currently, provenance information mu...
Peter Buneman, James Cheney, Stijn Vansummeren
HICSS
2006
IEEE
121views Biometrics» more  HICSS 2006»
16 years 22 days ago
Enterprise Architecture: A Social Network Perspective
IS Architecture emerges as a result of a sequence of IS project implementations. The architecture that emerges can be viewed as a network of software components linked by their in...
David Dreyfus, Bala Iyer