Sciweavers

933 search results - page 5 / 187
» Multi-paradigm Declarative Languages
Sort
View
129
Voted
SIGCOMM
2005
ACM
15 years 9 months ago
Declarative routing: extensible routing with declarative queries
The Internet’s core routing infrastructure, while arguably robust and efficient, has proven to be difficult to evolve to accommodate the needs of new applications. Prior researc...
Boon Thau Loo, Joseph M. Hellerstein, Ion Stoica, ...
138
Voted
ACL
2012
13 years 6 months ago
Text Segmentation by Language Using Minimum Description Length
The problem addressed in this paper is to segment a given multilingual document into segments for each language and then identify the language of each segment. The problem was mot...
Hiroshi Yamaguchi, Kumiko Tanaka-Ishii
131
Voted
CP
2005
Springer
15 years 5 months ago
A Linear-Logic Semantics for Constraint Handling Rules
One of the attractive features of the Constraint Handling Rules (CHR) programming language is its declarative semantics where rules are read as formulae in first-order predicate l...
Hariolf Betz, Thom W. Frühwirth
101
Voted
PPDP
2010
Springer
15 years 2 months ago
Declarative modeling of finite mathematics
Paul Tarau