Sciweavers

1063 search results - page 71 / 213
» Generalized Cores
Sort
View
ENTCS
2007
100views more  ENTCS 2007»
14 years 10 months ago
Lightweight Static Capabilities
We describe a modular programming style that harnesses modern type systems to verify safety conditions in practical systems. This style has three ingredients: (i) A compact kernel...
Oleg Kiselyov, Chung-chieh Shan
PAKM
2000
14 years 11 months ago
Knowledge Re-Use as Engineering Re-Use: Extracting Values from Knowledge Management
This paper presents a knowledge-sharing framework for achieving effective knowledge reuse within industrial organisations. This knowledge re-use paradigm goes beyond traditional e...
Christopher Yeung, Tony Holden
79
Voted
ICML
2009
IEEE
15 years 11 months ago
Proto-predictive representation of states with simple recurrent temporal-difference networks
We propose a new neural network architecture, called Simple Recurrent Temporal-Difference Networks (SR-TDNs), that learns to predict future observations in partially observable en...
Takaki Makino
WSDM
2010
ACM
204views Data Mining» more  WSDM 2010»
15 years 5 months ago
Learning URL patterns for webpage de-duplication
Presence of duplicate documents in the World Wide Web adversely affects crawling, indexing and relevance, which are the core building blocks of web search. In this paper, we pres...
Hema Swetha Koppula, Krishna P. Leela, Amit Agarwa...
WWW
2007
ACM
15 years 10 months ago
The use of XML to express a historical knowledge base
Since conventional historical records have been written assuming human readers, they are not well-suited for computers to collect and process automatically. If computers could und...
Katsuko T. Nakahira, Masashi Matsui, Yoshiki Mikam...