3468 search results - page 650 / 694 » An open logical framework |
91
Voted
MICCAI
2009
Springer
16 years 1 months ago
2009
Springer
Abstract. We present a novel computational framework for characterizing signal in brain images via nonlinear pairing of critical values of the signal. Among the astronomically larg...
111
Voted
SIGSOFT
2008
ACM
16 years 1 months ago
2008
ACM
Program specifications are important for many tasks during software design, development, and maintenance. Among these, temporal specifications are particularly useful. They expres...
102
Voted
WWW
2009
ACM
16 years 1 months ago
2009
ACM
Automatic folksonomy construction from tags has attracted much attention recently. However, inferring hierarchical relations between concepts from tags has a drawback in that it i...
121
click to vote
WWW
2008
ACM
16 years 1 months ago
2008
ACM
The World Wide Web Consortium's RDF standard primarily consists of (subject,property,object) triples that specify the value that a given subject has for a given property. How...
WWW
2005
ACM
16 years 1 months ago
2005
ACM
Online Curriculum Portals aim to support networks of instructors and learners by providing a space of convergence for enhancing peer-to-peer learning interactions among individual...