13383 search results - page 2418 / 2677 » Abstractions from proofs |
164
Voted
COORDINATION
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. The deployment of Share Data Spaces in open, possibly hostile, environments arises the need of protecting the confidentiality of the data space content. Existing approach...
145
Voted
DGCI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Segmentation is an important step to obtain quantitative information from tomographic data sets. To this end, global thresholding is often used in practice. However, it i...
148
Voted
DOLAP
2008
ACM
15 years 5 months ago
2008
ACM
The development of data warehouses is based on a threestage process that starts specifying both the static and dynamic properties of on-line analytical processing (OLAP) applicati...
145
Voted
ECAI
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. This paper shows that we can take advantage of information about the probabilities of the occurrences of events, when this information is available, to refine the classic...
126
Voted
FMSB
2008
15 years 5 months ago
2008
Abstract. Natural systems, such as organs and organisms, are largescale complex systems with numerous elements and interactions. Modeling such systems can lead to better understand...