5064 search results - page 660 / 1013 » Recent Developments in Gridsolve |
174
click to vote
FLOPS
2008
Springer
15 years 8 months ago
2008
Springer
Bundy and Richardson [7] presented a technique for reasoning about lists using ellipsis (the dots in 1+2+...+10), where a polymorphic function, denoted by 2, is used to encapsulate...
159
click to vote
FPL
2008
Springer
15 years 8 months ago
2008
Springer
: Modeling the interactions of biological molecules, or docking is critical to both understanding basic life processes and to designing new drugs. Here we describe the FPGA-based a...
169
click to vote
ACL
2007
15 years 8 months ago
2007
Recent studies suggest that machine learning can be applied to develop good automatic evaluation metrics for machine translated sentences. This paper further analyzes aspects of l...
158
click to vote
AMW
2010
15 years 8 months ago
2010
Abstract. We study the problem of instance level (ABox) updates for Knowledge Bases (KBs) represented in Description Logics of the DL-Lite family. DLLite is at the basis of OWL 2 Q...
174
click to vote
BIS
2008
15 years 8 months ago
2008
Social network and data portability has recently gained a lot of interest as one of the issues for social media sites on the Web. In this paper, we will show how Semantic Web techn...