838 search results - page 147 / 168 » From Natural Language to Formal Proof Goal |
CONCUR
2007
Springer
14 years 1 months ago
2007
Springer
Abstract. Modelling is becoming a necessity in studying biological signalling pathways, because the combinatorial complexity of such systems rapidly overwhelms intuitive and qualit...
BMCBI
2008
13 years 7 months ago
2008
Background: This paper describes the design of an event ontology being developed for application in the machine understanding of infectious disease-related events reported in natu...
VLDB
2001
ACM
13 years 12 months ago
2001
ACM
French government has launch in 2000 a public debate about conservation of data and electronic documents. Due to the widespread use of Internet and extranet technologies, especial...
KI
2004
Springer
14 years 23 days ago
2004
Springer
Abstract Recent progress in mobile broadband communication and semantic web technology is enabling innovative internet services that provide advanced personalization and localizati...
SIGMOD
1995
ACM
13 years 11 months ago
1995
ACM
We study the problem of e cient maintenance of materialized views that may contain duplicates. This problem is particularly important when queries against such views involve aggre...