6306 search results - page 72 / 1262 » Space, Time, and the Use of Language |
106
click to vote
POPL
2012
ACM
13 years 5 months ago
2012
ACM
Functional reactive programming (FRP) is an elegant and successful approach to programming reactive systems declaratively. The high levels of abstraction and expressivity that mak...
DSS
2000
14 years 9 months ago
2000
This research investigated the application of techniques successfully used in previous information retrieval research, to the more challenging area of medical informatics. It was ...
ACL
2006
14 years 11 months ago
2006
The trend in information retrieval systems is from document to sub-document retrieval, such as sentences in a summarization system and words or phrases in question-answering syste...
VSTTE
2005
Springer
15 years 3 months ago
2005
Springer
How close are we to a world in which mechanically verified software is commonplace? A world in which theorem proving technology is used routinely by both software developers and p...
CICLING
2009
Springer
15 years 10 months ago
2009
Springer
Abstract. Automatic plagiarism detection considering a reference corpus compares a suspicious text to a set of original documents in order to relate the plagiarised fragments to th...