2324 search results - page 275 / 465 » Benchmark Generation Using Domain Specific Modeling |
125
Voted
CBMS
2007
IEEE
15 years 8 months ago
2007
IEEE
Representing and Reasoning about time and change is one of the primary issues in the area of Artificial Intelligence (AI) and Knowledge Representation (KR). Despite the importance...
116
Voted
DSVIS
2000
Springer
15 years 6 months ago
2000
Springer
Abstract. The UML is recognized to be the dominant diagrammatic modeling language in the software industry. However, it’s support for building interactive systems is still acknow...
136
Voted
KDD
2004
ACM
16 years 2 months ago
2004
ACM
We propose a new unsupervised learning technique for extracting information from large text collections. We model documents as if they were generated by a two-stage stochastic pro...
114
click to vote
JISBD
2001
15 years 3 months ago
2001
Existing tools intended to build and deploy engaging complex Web sites (including functionality) have shown to be inadequate to face the software production process in an unified a...
157
click to vote
ATVA
2006
Springer
15 years 6 months ago
2006
Springer
Abstract. Model-checking alternating-time properties has recently attracted much interest in the verification of distributed protocols. While checking the validity of a specificati...