10899 search results - page 708 / 2180 » The GP Programming System |
201
click to vote
ESOP
2001
Springer
15 years 12 months ago
2001
Springer
Equality constraints (unification constraints) have widespread use in program analysis, most notably in static polymorphic type systems. Conditional equality constraints extend eq...
211
click to vote
IWPC
1996
IEEE
15 years 11 months ago
1996
IEEE
This paper reviews the state of the art on application knowledge acquisiton from existing software systems and defines the role of business rules. It then goes on to present a met...
178
click to vote
SAIG
2000
Springer
15 years 11 months ago
2000
Springer
Abstract. This paper extends the recent work [CMT00] on the operational semantics and type system for a core language, called MiniMLBN ref , which exploits the notion of closed typ...
205
click to vote
COLING
2000
15 years 8 months ago
2000
This paper presents a robust client/server implementation of a word sense disambiguator for English. This system associates a word with its meaning in a given context using dictio...
197
click to vote
ITICSE
2010
ACM
15 years 7 months ago
2010
ACM
Teaching wireless sensor networks (WSNs) at the undergraduate level is both challenging and rewarding. WSNs include low-level programming and debugging, power-aware operations, no...