692 search results - page 81 / 139 » Understanding Finiteness Analysis Using Abstract Interpretat... |
IANDC
2006
14 years 12 months ago
2006
Abstract Bigraphs are graphs whose nodes may be nested, representing locality, independently of the edges connecting them. They may be equipped with reaction rules, forming a bigra...
103
click to vote
ICCV
1995
IEEE
15 years 3 months ago
1995
IEEE
Abstract. We describe a flexible object recognition and modelling system (FORMS) which represents and recognizes animate objects from their silhouettes. This consists of a model fo...
131
click to vote
CTW
2002
14 years 11 months ago
2002
ive. This characterization leads to model-based abstractions and representation design techniques as potential solutions. Many of the existing approaches to coping with data overlo...
CORR
2006
Springer
14 years 12 months ago
2006
Springer
Abstract. Understanding a software system at source-code level requires understanding the different concerns that it addresses, which in turn requires a way to identify these conce...
UML
2005
Springer
15 years 5 months ago
2005
Springer
Use cases are a popular method for capturing and structuring software requirements. The informality of use cases is both a blessing and a curse. It enables easy application and lea...