Sciweavers

4616 search results - page 322 / 924
» Beyond relational databases
Sort
View
MKM
2005
Springer
16 years 7 days ago
Engineering Mathematical Knowledge
Abstract. Due to their rapidly increasing amount, maintaining mathematical documents more and more becomes an engineering task. In this paper, we combine the projects MMiSS3 and CD...
Achim Mahnke, Jan Scheffczyk
SIGDOC
2004
ACM
16 years 5 days ago
Assessing effectiveness of personality style in documentation
This paper extends previous work by other researchers that indicated that users of computers preferred a computer with a personality that was similar to theirs. We conducted a sim...
Kenneth Sayles, David G. Novick
NIME
2004
Springer
154views Music» more  NIME 2004»
16 years 3 days ago
Synthesized Strings for String Players
A system is introduced that allows a string player to control a synthesis engine with the gestural skills he is used to. The implemented system is based on an electric viola and a...
Cornelius Poepel
SAT
2004
Springer
97views Hardware» more  SAT 2004»
16 years 2 days ago
Incremental Compilation-to-SAT Procedures
We focus on incremental compilation-to-SAT procedures (iCTS), a promising way to push the standard CTS approaches beyond their limits. We propose the first comprehensive framework...
Marco Benedetti, Sara Bernardini
IPPS
2003
IEEE
16 years 16 hour ago
From Legion to Legion-G to OGSI.NET: Object-Based Computing for Grids
: The object abstraction has long proven to be an effective foundation upon which to structure application codes; however, its application to Grid Computing contains many challenge...
Marty Humphrey