2233 search results - page 143 / 447 » Modular type classes |
115
click to vote
ITP
2010
15 years 6 months ago
2010
The Isabelle Collections Framework (ICF) provides a unified framework for using verified collection data structures in Isabelle/HOL formalizations and generating efficient functi...
112
Voted
LREC
2008
15 years 4 months ago
2008
Morfette is a modular, data-driven, probabilistic system which learns to perform joint morphological tagging and lemmatization from morphologically annotated corpora. The system i...
118
Voted
DATAMINE
2008
15 years 2 months ago
2008
Rules are commonly used for classification because they are modular, intelligible and easy to learn. Existing work in classification rule learning assumes the goal is to produce ca...
112
Voted
CORR
2006
Springer
15 years 2 months ago
2006
Springer
Dense sub-graphs of sparse graphs (communities), which appear in most real-world complex networks, play an important role in many contexts. Most existing community detection algori...
184
Voted
SEMWEB
2010
Springer
14 years 9 months ago
2010
Springer
Space and time have not received much attention on the Semantic Web so far. While their importance has been recognized recently, existing work reduces them to simple latitude-longi...