3381 search results - page 547 / 677 » Using VCL as an Aspect-Oriented Approach to Requirements Mod... |
235
click to vote
GECCO
2011
Springer
14 years 10 months ago
2011
Springer
In continuous optimisation, surrogate models (SMs) are used when tackling real-world problems whose candidate solutions are expensive to evaluate. In previous work, we showed that...
178
click to vote
IPPS
1998
IEEE
15 years 10 months ago
1998
IEEE
A number of solutions have been proposed for the problem of mutual exclusion in distributed systems. Some of these approaches have since been extended to a prioritized environment...
186
click to vote
ICCV
2007
IEEE
16 years 8 months ago
2007
IEEE
We consider the problem of estimating detailed 3-d structure from a single still image of an unstructured environment. Our goal is to create 3-d models which are both quantitative...
186
click to vote
DAGM
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Atrial fibrillation is the most common sustained arrhythmia. One important treatment option is radio-frequency catheter ablation (RFCA) of the pulmonary veins attached t...
167
click to vote
TPHOL
2008
IEEE
16 years 23 days ago
2008
IEEE
Although graphs are very common in computer science, they are still very difficult to handle for proof assistants as proving properties of graphs may require heavy computations. T...