1818 search results - page 139 / 364 » Granularity-Adaptive Proof Presentation |
114
click to vote
KI
2006
Springer
15 years 3 months ago
2006
Springer
We present DiaWOz-II, a configurable software environment for Wizard-of-Oz studies in mathematics and engineering. Its interface is based on a structural wysiwyg editor which allow...
130
click to vote
CAD
2005
Springer
15 years 3 months ago
2005
Springer
This paper describes an approach at Volvo Truck Corporation where geometry users' requirements are utilised to define configurable product views. The paper is derived from a ...
112
Voted
MCS
2007
Springer
15 years 3 months ago
2007
Springer
In this short note, we revisit the so-called Ermakov–Pinney (EP) equation viewing its properties from a physically motivated perspective. We discuss its ties with the Schr¨odin...
145
Voted
TKDE
2010
15 years 1 months ago
2010
— Tampering of a database can be detected through the use of cryptographically-strong hash functions. Subsequently-applied forensic analysis algorithms can help determine when, w...
131
Voted
IAJIT
2011
14 years 10 months ago
2011
: There are many known Arabic lexicons organized on different ways, each of them has a different number of Arabic words according to its organization way. This paper has used mathe...