838 search results - page 125 / 168 » From Natural Language to Formal Proof Goal |
120
click to vote
LACL
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. It is already known that parallel multiple context-free grammar (PMCFG) [1] is an instance of the equivalent formalisms simple literal movement grammar (sLMG) [2,3] and r...
222
click to vote
KDD
2012
ACM
13 years 8 months ago
2012
ACM
Digital storage of personal music collections and cloud-based music services (e.g. Pandora, Spotify) have fundamentally changed how music is consumed. In particular, automatically...
256
click to vote
ICDE
1999
IEEE
16 years 7 months ago
1999
IEEE
Active database management systems have been developed for applications needing an automatic reaction in response to certain events. Events can be simple in nature or complex. Com...
142
click to vote
NGITS
1995
Springer
15 years 9 months ago
1995
Springer
Dozens of temporal extension of the relational data model and of the query language SQL have appeared in recent years. Recently, a committee formed by researchers from the academi...
370
click to vote
ICDE
2009
IEEE
16 years 7 months ago
2009
IEEE
Auditing the changes to a database is critical for identifying malicious behavior, maintaining data quality, and improving system performance. But an accurate audit log is a histor...