3256 search results - page 573 / 652 » Applications of Formal Methods to System Design and Verifica... |
167
click to vote
ICIAR
2009
Springer
15 years 2 months ago
2009
Springer
Abstract. With the adoption of tablet-based data entry devices, there is considerable interest in methods for converting hand-drawn sketches of flow charts, graphs and block diagr...
SSD
2001
Springer
15 years 2 months ago
2001
Springer
The design of external index structures for one- and multidimensional extended objects is a long and well studied subject in basic database research. Today, more and more commercia...
UML
2001
Springer
15 years 2 months ago
2001
Springer
Use case models are used in object-oriented analysis for capturing and describing the functional requirements of a system. Several methods for estimating software development effor...
123
click to vote
IDA
2008
Springer
14 years 10 months ago
2008
Springer
Currently statistical and artificial neural network methods dominate in data mining applications. Alternative relational (symbolic) data mining methods have shown their effectivene...
TOG
2008
14 years 9 months ago
2008
We introduce a computational framework for discovering regular or repeated geometric structures in 3D shapes. We describe and classify possible regular structures and present an e...