5608 search results - page 269 / 1122 » Structure description tools |
152
click to vote
WECWIS
2005
IEEE
15 years 10 months ago
2005
IEEE
Semantic Web Services facilitate activities including automatic discovery and composition of Web Services. Research initiatives such as WSMO have been developing specifications fo...
126
click to vote
DAWAK
2003
Springer
15 years 10 months ago
2003
Springer
Data Warehouses provide sophisticated tools for analyzing complex data online, in particular by aggregating data along dimensions spanned by master data. Changes to these master da...
123
click to vote
DAC
1999
ACM
15 years 9 months ago
1999
ACM
In this survey paper we describethe combination of: discretized integral formulations, sparsication techniques, and krylov-subspace based model-order reduction that has led to rob...
145
Voted
CAV
1999
Springer
15 years 9 months ago
1999
Springer
Abstract. In this paper we extend one of the main tools used in veri cation of discrete systems, namely Binary Decision Diagrams (BDD), to treat probabilistic transition systems. W...
123
click to vote
ECIS
2001
15 years 6 months ago
2001
Interpretivist research in progress in a market research company is reported. Market research is information and knowledge intensive. The problem addressed concerns sharing inform...