3557 search results - page 193 / 712 » Authoring Presentation for OpenMath |
164
click to vote
DAC
1998
ACM
15 years 10 months ago
1998
ACM
This papers describes a new, fast and economical methodology to test linear analog circuits based on adaptive algorithms. To the authors knowledge, this is the first time such tec...
144
click to vote
UIST
1998
ACM
15 years 10 months ago
1998
ACM
We present a new system, called Cirrin, for pen input of ASCII characters using word-level unistrokes. Our system addresses the tradeoff between speed and accuracy of penbased tex...
132
click to vote
HICSS
1997
IEEE
15 years 10 months ago
1997
IEEE
World Wide Web (WWW) authors must cope in a hypermedia environment analogous to secondgeneration computing languages, building and managing all hypermedia links using simple ancho...
202
click to vote
KR
1998
Springer
15 years 10 months ago
1998
Springer
This paper presents a formal theory for reasoning about motion of spatial entities, in a qualitative framework. Taking over a theory intended forspatial entities, we enrich ittoac...
161
click to vote
TOOLS
1997
IEEE
15 years 10 months ago
1997
IEEE
: This paper presents pattern histories for deriving two different callback libraries. The pattern histories document the important design decisions behind each library. The two re...