959 search results - page 36 / 192 » Transfers between Logics and their Applications |
108
click to vote
USENIX
2007
15 years 4 months ago
2007
Data Structure Abstractions for Asynchronous Web Applications Daniel S. Myers MIT CSAIL Jennifer N. Carlisle MIT CSAIL James A. Cowling MIT CSAIL Barbara H. Liskov MIT CSAIL The c...
111
click to vote
UIST
2004
ACM
15 years 7 months ago
2004
ACM
Many applications provide a form-like interface for requesting information: the user fills in some fields, submits the form, and the application presents corresponding results. ...
110
click to vote
IFIP12
2009
14 years 11 months ago
2009
In this paper the tool TELIOS is presented, for the automatic generation of a hardware machine, corresponding to a given logic program. The machine is implemented using an FPGA, wh...
127
click to vote
KDD
2010
ACM
15 years 11 days ago
2010
ACM
Although tagging has become increasingly popular in online image and video sharing systems, tags are known to be noisy, ambiguous, incomplete and subjective. These factors can ser...
150
click to vote
AI
2010
Springer
15 years 2 months ago
2010
Springer
We develop a formal framework for comparing different versions of ontologies, and apply it to ontologies formulated in terms of DL-Lite, a family of `lightweight' description...