Sciweavers

4856 search results - page 103 / 972
» Concept formation in design
Sort
View
DIS
2007
Springer
14 years 3 months ago
Computational Discovery in Pure Mathematics
Abstract. We discuss what constitutes knowledge in pure mathematics and how new advances are made and communicated. We describe the impact of computer algebra systems, automated th...
Simon Colton
ISMIR
2003
Springer
110views Music» more  ISMIR 2003»
14 years 2 months ago
The dangers of parsimony in query-by-humming applications
Query-by-humming systems attempt to address the needs of the non-expert user, for whom the most natural query format – for the purposes of finding a tune, hook or melody of unk...
Colin Meek, William P. Birmingham
WCRE
2000
IEEE
14 years 1 months ago
FAMIX and XMI
Recently exchange formats have gained lots of attention. Multiple tools need to interact and/or work on the same software system. Especially there is a need to reuse parser techno...
Sander Tichelaar, Stéphane Ducasse, Serge D...
HCI
2007
13 years 10 months ago
Summary of Usability Evaluations of an Educational Augmented Reality Application
We summarize three evaluations of an educational augmented reality application for geometry education, which have been conducted in 2000, 2003 and 2005 respectively. Repeated forma...
Hannes Kaufmann, Andreas Dünser
ICCAD
1994
IEEE
111views Hardware» more  ICCAD 1994»
14 years 29 days ago
On modeling top-down VLSI design
We present an improved data model that reflects the whole VLSI design process including bottom-up and topdown design phases. The kernel of the model is a static version concept th...
Bernd Schürmann, Joachim Altmeyer, Martin Sch...