8838 search results - page 1488 / 1768 » Generalizing Domain Theory |
202
click to vote
BIRTHDAY
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. The logical and operational aspects of rewriting logic as a logical framework are tested and illustrated in detail by representing pure type systems as object logics. Mor...
173
click to vote
CIKM
2004
Springer
16 years 1 days ago
2004
Springer
Automatically categorizing documents into pre-defined topic hierarchies or taxonomies is a crucial step in knowledge and content management. Standard machine learning techniques ...
209
Voted
EMSOFT
2004
Springer
16 years 1 days ago
2004
Springer
Data flow process networks are a good model of computation for streaming multimedia applications incorporating audio, video and/or graphics streams. Process networks are concurre...
182
click to vote
ESA
2004
Springer
16 years 1 days ago
2004
Springer
We introduce a problem directly inspired by its application to DWDM (dense wavelength division multiplexing) network design. We are given a set of demands to be carried over a netw...
186
click to vote
ESA
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. Classical network flow theory allows decomposition of flow into several chunks of arbitrary sizes traveling through the network on different paths. In the first part ...