696 search results - page 61 / 140 » Explaining abstract counterexamples |
124
click to vote
CICLING
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. In order to extend the application domain of natural language interfaces to more realistic tasks without the decrease of user’s performance, it is desirable for users t...
100
Voted
EUROPKI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper discusses the technical and management experience gained in the day-by-day operation of the EuroPKI infrastructure. First the context where EuroPKI was born is...
105
click to vote
GECCO
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Recent theoretical work helped explain certain optimizationrelated pathologies in cooperative coevolutionary algorithms (CCEAs). Such explanations have led to adopting sp...
ITS
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. Successful learning though exploration in open learning environments has been shown to depend on whether students possess the necessary meta-cognitive skills, including s...
132
Voted
MICCAI
2004
Springer
15 years 8 months ago
2004
Springer
Abstract. This paper presents a new robotic framework for assisted CTguided percutaneous procedures with force feedback and automatic patientto-image registration of needle. The pu...