Sciweavers

732 search results - page 86 / 147
» What Is It Like to Be a Rat
Sort
View
BIRTHDAY
2005
Springer
13 years 9 months ago
History and Future of Implicit and Inductionless Induction: Beware the Old Jade and the Zombie!
Abstract. In this survey on implicit induction I recollect some memories on the history of implicit induction as it is relevant for future research on computer-assisted theorem pro...
Claus-Peter Wirth
LREC
2010
189views Education» more  LREC 2010»
13 years 9 months ago
Extracting Surface Realisation Templates from Corpora
In Natural Language Generation (NLG), template-based surface realisation is an effective solution to the problem of producing surface strings from a given semantic representation,...
Thiago D. Tadeu, Eder M. de Novais, Ivandré...
SDM
2010
SIAM
115views Data Mining» more  SDM 2010»
13 years 9 months ago
Radius Plots for Mining Tera-byte Scale Graphs: Algorithms, Patterns, and Observations
Given large, multi-million node graphs (e.g., FaceBook, web-crawls, etc.), how do they evolve over time? How are they connected? What are the central nodes and the outliers of the...
U. Kang, Charalampos E. Tsourakakis, Ana Paula App...
OWLED
2008
13 years 9 months ago
Opening, Closing Worlds - On Integrity Constraints
In many data-centric applications it is desirable to use OWL as an expressive schema language where one expresses constraints that need to be satisfied by the (instance) data. Howe...
Evren Sirin, Michael Smith, Evan Wallace
STAIRS
2008
128views Education» more  STAIRS 2008»
13 years 9 months ago
Towards Social Dynamic Dependence Networks for Institutions
Social networks are structures that aim to represent the relationships among the actors of a society. In the multiagent model, these networks depict the dependencies among the agen...
Serena Villata