3954 search results - page 21 / 791 » Image-based Model Completion |
CIE
2010
Springer
15 years 6 months ago
2010
Springer
The notion of computability is stable (i.e. independent of the choice of an indexing) over infinite-dimensional vector spaces provided they have a finite “tensorial dimension...
DAGSTUHL
2004
15 years 3 months ago
2004
Good components need precise contracts. In the practice of Design by ContractTM , applications and libraries typically express, in their postconditions and class invariants, only a...
210
click to vote
ICDE
2009
IEEE
16 years 3 months ago
2009
IEEE
In bibliographies like DBLP and Citeseer, there are three kinds of entity-name problems that need to be solved. First, multiple entities share one name, which is called the name sh...
147
Voted
ESEM
2007
ACM
15 years 5 months ago
2007
ACM
This paper focuses on in-process measurements during requirements definition where measurements of processes and products are relatively difficult. However, development processes ...
109
click to vote
IJCNN
2007
IEEE
15 years 8 months ago
2007
IEEE
— Many neural network models of (human) motor learning focus on the acquisition of direct goal-to-action mappings, which results in rather inflexible motor control programs. We ...