1672 search results - page 159 / 335 » Interactive Mathematical Documents |
116
click to vote
HCI
2009
15 years 2 months ago
2009
In recent years podcasting has been in great demand as a recreation and a learning tool. In this paper we describe the design and implementation of a system for automatically conve...
175
click to vote
CAEPIA
2011
Springer
14 years 4 months ago
2011
Springer
Abstract. In the last years, cluster based retrieval has been demonstrated as an effective tool for both interactive retrieval and pseudo relevance feedback techniques. In this pa...
177
click to vote
MICCAI
2003
Springer
16 years 5 months ago
2003
Springer
In this paper we introduce user-defined segmentation constraints within the level set methods. Snake-driven methods are powerful and widely explored techniques for object extractio...
111
Voted
ISBI
2006
IEEE
16 years 5 months ago
2006
IEEE
We discuss current progress towards two complementary web resources being developed for the Renal Physiome: (1) a database (QKDB) for quantitative and anatomical data at all level...
141
click to vote
CADE
2007
Springer
16 years 4 months ago
2007
Springer
Abstract. It has often been claimed that model checking, special purpose automated deduction or interactive theorem proving are needed for formal program development. Recently, it ...