7529 search results - page 269 / 1506 » The Modula-3 Type System |
138
click to vote
COLING
2008
15 years 8 months ago
2008
Various types of structural information e.g., about the type of constructions in which binding constraints apply, or about the structure of names - play a central role in corefere...
235
click to vote
SEC
2008
15 years 8 months ago
2008
Design diversity is a well-known method to ensure fault tolerance. Such a method has also been applied successfully in various projects to provide intrusion detection and tolerance...
167
click to vote
IADT
1998
15 years 8 months ago
1998
: The aim of this work is to present the Musical Score as a new attribute characteristic in an object-oriented database. It defines a new data type for attributes that can be assoc...
180
click to vote
JCB
2006
15 years 6 months ago
2006
Recently a new algorithm for reverse engineering of biochemical networks was developed by Laubenbacher and Stigler. It is based on methods from computational algebra and finds mos...
156
click to vote
AIED
2007
Springer
16 years 25 days ago
2007
Springer
Building on past results establishing a benefit for using handwriting when entering mathematics on the computer, we hypothesize that handwriting as an input modality may be able to...