2830 search results - page 456 / 566 » No Science without Semantics |
133
Voted
ICLP
2007
Springer
15 years 6 months ago
2007
Springer
We present the CIFFWEB system, an innovative tool for the verification of web sites, relying upon abductive logic programming. The system allows the user to define rules that a web...
156
Voted
AI50
2006
15 years 6 months ago
2006
There are many stories to tell about the first fifty years of AI. One story is about AI as one of the big forces of innovation in information technology. It is now forgotten that i...
125
click to vote
ISSTA
2010
ACM
15 years 6 months ago
2010
ACM
Program control dependence has substantial impact on applications such as dynamic information flow tracking and data lineage tracing (a technique tracking the set of inputs that ...
142
Voted
CIKM
2008
Springer
15 years 4 months ago
2008
Springer
We present a passage relevance model for integrating syntactic and semantic evidence of biomedical concepts and topics using a probabilistic graphical model. Component models of t...
139
Voted
CONEXT
2009
ACM
15 years 3 months ago
2009
ACM
Software bugs in routers lead to network outages, security vulnerabilities, and other unexpected behavior. Rather than simply crashing the router, bugs can violate protocol semant...