4122 search results - page 781 / 825 » Is Domain Knowledge an Aspect |
144
click to vote
POPL
2012
ACM
13 years 11 months ago
2012
ACM
There has been great progress in recent years on developing effective techniques for reasoning about program equivalence in ML-like languages—that is, languages that combine fea...
161
Voted
VEE
2012
ACM
13 years 11 months ago
2012
ACM
Dynamic data flow tracking (DFT) deals with tagging and tracking data of interest as they propagate during program execution. DFT has been repeatedly implemented by a variety of ...
167
Voted
LPNMR
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. The paper presents INFOMIX a successful application of ASP technology to the domain of Data Integration. INFOMIX is a novel system which supports powerful information int...
165
Voted
BMCBI
2007
15 years 3 months ago
2007
Background: Neuroscientists often need to access a wide range of data sets distributed over the Internet. These data sets, however, are typically neither integrated nor interopera...
178
Voted
WWW
2009
ACM
16 years 4 months ago
2009
ACM
Users of social networking services can connect with each other by forming communities for online interaction. Yet as the number of communities hosted by such websites grows over ...