Sciweavers

433 search results - page 50 / 87
» A history of the history of programming languages
Sort
View
JCDL
2003
ACM
145views Education» more  JCDL 2003»
15 years 11 months ago
Automatic Disambiguation of Latin Abbreviations in Early Modern Texts for Humanities Digital Libraries
Early modern books written in Latin contain many abbreviations of common words that are derived from earlier manuscript practice. While these abbreviations are usually easily deci...
Jeffrey A. Rydberg-Cox
IDEAS
2002
IEEE
135views Database» more  IDEAS 2002»
15 years 11 months ago
On Implicate Discovery and Query Optimization
Boolean expression simplification is a well-known problem in the history of Computer Science. The problem of determining prime implicates from an arbitrary Boolean expression has...
Kristofer Vorwerk, G. N. Paulley
DEXA
1994
Springer
81views Database» more  DEXA 1994»
15 years 10 months ago
Supporting Information Disclosure in an Evolving Environment
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these ki...
Arthur H. M. ter Hofstede, Henderik Alex Proper, T...
CAV
2000
Springer
125views Hardware» more  CAV 2000»
15 years 9 months ago
Efficient Reachability Analysis of Hierarchical Reactive Machines
Hierarchical state machines is a popular visual formalism for software specifications. To apply automated analysis to such specifications, the traditional approach is to compile th...
Rajeev Alur, Radu Grosu, Michael McDougall
ADC
1995
Springer
90views Database» more  ADC 1995»
15 years 9 months ago
Computer Supported Query Formulation in an Evolving Context
Even if high-level query languages are used, query formulation may cause problems. This is notably so in case of large and complex application domains. Typical examples of these k...
Arthur H. M. ter Hofstede, Henderik Alex Proper, T...