4211 search results - page 122 / 843 » Types as Abstract Interpretations |
125
Voted
ISPW
2010
IEEE
15 years 8 months ago
2010
IEEE
Abstract. Explicitly defining a software process model is widely recognized as a good software engineering practice. However, having a defined process does not necessarily mean tha...
124
Voted
IWAN
1999
Springer
15 years 8 months ago
1999
Springer
There is a need to be able to program network components to adapt to application requirements for quality of service, specialised application dependent routing, to increase effici...
114
Voted
ECHT
1994
15 years 7 months ago
1994
In semantically rich hypertexts it is attractive to enable presentation of a network of nodes and links at different levels action. It is also important that the user can interact...
142
Voted
ECCV
2010
Springer
15 years 7 months ago
2010
Springer
Abstract. We present the design and implementation of a new inexact Newton type algorithm for solving large-scale bundle adjustment problems with tens of thousands of images. We ex...
146
Voted
COMPLIFE
2006
Springer
15 years 7 months ago
2006
Springer
Abstract. This paper presents a method that uses gene ontologies, together with the paradigm of relational subgroup discovery, to help find description of groups of genes different...