2362 search results - page 256 / 473 » Programming in Standard ML |
130
click to vote
APPINF
2003
15 years 5 months ago
2003
Existing efforts on XML internationalization and localization have been focusing on the contents of XML documents instead of on the meta presentations such as tags and attributes...
111
click to vote
AAAI
1994
15 years 5 months ago
1994
ing with credit is permitted. To copy otherwise, to republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. The following notice...
137
click to vote
ICFP
2010
ACM
15 years 5 months ago
2010
ACM
We present a novel approach to regular, multi-dimensional arrays in Haskell. The main highlights of our approach are that it (1) is purely functional, (2) supports reuse through s...
147
click to vote
AI
1999
Springer
15 years 4 months ago
1999
Springer
Forthcoming in the Journal of Aritificial Intelligence We introduce mathematical programming and atomic decomposition as the basic modal (T-Box) inference techniques for a large c...
216
click to vote
ISOLA
2010
Springer
15 years 2 months ago
2010
Springer
Abstract. The Implicit Path Enumeration Technique (IPET) has become widely accepted as a powerful technique to compute upper bounds on the Worst-Case Execution Time (WCET) of time-...