292 search results - page 16 / 59 » Inference and enforcement of data structure consistency spec... |
UM
2001
Springer
14 years 1 days ago
2001
Springer
Abstract. The generation of formal poetry involves both complex creativity usually exercised by a human poet - and strict algorithmic restrictions regarding the metrical structure ...
NIPS
2001
13 years 9 months ago
2001
Massive transaction data sets are recorded in a routine manner in telecommunications, retail commerce, and Web site management. In this paper we address the problem of inferring p...
KDD
2003
ACM
14 years 8 months ago
2003
ACM
Recent proposals to apply data mining systems to problems in law enforcement, national security, and fraud detection have attracted both media attention and technical critiques of...
ACL
2008
13 years 9 months ago
2008
We outline the problem of ad hoc rules in treebanks, rules used for specific constructions in one data set and unlikely to be used again. These include ungeneralizable rules, erro...
JLP
2006
13 years 7 months ago
2006
This paper describes in detail how to bridge the gap between theory and practice when implementing in Maude structural operational semantics described in rewriting logic, where tr...