2748 search results - page 203 / 550 » Generating Object-Z Specifications from Use Cases |
102
click to vote
CONEXT
2007
ACM
15 years 4 months ago
2007
ACM
Distributed storage systems provide data availability by means of redundancy. To assure a given level of availability in case of node failures, new redundant fragments need to be ...
120
click to vote
DAGM
2010
Springer
15 years 29 days ago
2010
Springer
Abstract. For every segmentation task, prior knowledge about the object that shall be segmented has to be incorporated. This is typically performed either automatically by using la...
INLG
2010
Springer
14 years 10 months ago
2010
Springer
In this paper, we propose a new shared task called HOO: Helping Our Own. The aim is to use tools and techniques developed in computational linguistics to help people writing about...
129
Voted
EDM
2010
15 years 2 months ago
2010
It is argued that the analysis of the learner's generated log files during interactions with a learning environment is necessary to produce interpretative views of their activ...
112
Voted
DAM
2007
15 years 22 days ago
2007
It is shown that the set of hybrid one-dimensional reversible cellular automata (CA) with the periodic boundary condition is a regular set. This has several important consequences...