2663 search results - page 193 / 533 » The Design, Implementation, and Evaluation of Jade |
ECIS
2001
15 years 5 days ago
2001
Electronic procurement has been widely embraced by governments seeking the administrative efficiencies and cost reductions experienced in the private sector. The enthusiastic resp...
ANLP
1992
14 years 12 months ago
1992
We describe the lexical knowledge base system (LKB) which has been designed and implemented as part of the ACQUILEX project1 to allow the representation of multilinguM syntactic a...
105
click to vote
PADL
2011
Springer
14 years 1 months ago
2011
Springer
Abstract. Modern web forms interact with the user in real-time by detecting errors and filling-in implied values, which in terms of automated reasoning amounts to SAT solving and ...
103
click to vote
POPL
2012
ACM
13 years 6 months ago
2012
ACM
We show how to combine a general purpose type system for an existing language with support for programming with binders and contexts by refining the type system of ML with a rest...
WWW
2008
ACM
15 years 11 months ago
2008
ACM
Mashup applications mix and merge content (data and code) from multiple content providers in a user's browser, to provide high-value web applications that can rival the user ...