3564 search results - page 271 / 713 » Evaluating a Formal Modelling Language |
155
click to vote
OOPSLA
2005
Springer
15 years 11 months ago
2005
Springer
Io is small prototype-based programming language. The ideas in Io are mostly inspired by Smalltalk[1] (all values are objects), Self[2] (prototype-based), NewtonScript[3] (differe...
170
click to vote
ICLP
2009
Springer
16 years 24 days ago
2009
Springer
The seemingly simple choice of whether to use call variance or call subsumption in a tabled evaluation deeply affects an evaluation’s properties. Most tabling implementations hav...
185
click to vote
ICMI
2003
Springer
15 years 11 months ago
2003
Springer
Many user interfaces, from graphic design programs to navigation aids in cars, share a virtual space with the user. Such applications are often ideal candidates for speech interfa...
168
click to vote
HIPS
1997
IEEE
15 years 10 months ago
1997
IEEE
Several parallel programming languages, libraries and environments have been developed to ease the task of writing programs for multiprocessors. Proponents of each approach often ...
197
click to vote
DILS
2006
Springer
15 years 9 months ago
2006
Springer
Linking the biomedical literature to other data resources is notoriously difficult and requires text mining. Text mining aims to automatically extract facts from literature. Since ...