2018 search results - page 196 / 404 » Code Normal Forms |
154
click to vote
PPPJ
2009
ACM
15 years 7 months ago
2009
ACM
The usage of cellular phones, PDAs, and other mobile devices has increased dramatically over the past ten years. Java is targeted to be one of the most popular execution environme...
105
click to vote
CASCON
1996
15 years 4 months ago
1996
Today's advanced CASE tools, combining the building-block and generative approaches to software reuse, are effective for reuse of software components and procedures in the pr...
121
click to vote
LICS
2002
IEEE
15 years 8 months ago
2002
IEEE
We study relations on trees defined by first-order constraints over a vocabulary that includes the tree extension relation Ì Ì ¼, holding if and only if every branch of Ì ex...
149
click to vote
CSCLP
2008
Springer
15 years 4 months ago
2008
Springer
Abstract. Over the last decade, first-order constraints have been efficiently used in the artificial intelligence world to model many kinds of complex problems such as: scheduling,...
125
click to vote
LISP
2007
15 years 3 months ago
2007
Krivine presents the K machine, which produces weak head normal form results. Sestoft introduces several call-by-need variants of the K machine that implement result sharing via pu...