Sciweavers

1018 search results - page 25 / 204
» Generative unbinding of names
Sort
View
CADE
2006
Springer
14 years 8 months ago
Blocking and Other Enhancements for Bottom-Up Model Generation Methods
In this paper we introduce several new improvements to the bottom-up model generation (BUMG) paradigm. Our techniques are based on non-trivial transformations of first-order probl...
Peter Baumgartner, Renate A. Schmidt
PERCOM
2007
ACM
14 years 7 months ago
Ontology-Directed Generation of Frameworks for Pervasive Service Development
Pervasive computing applications are tedious to develop because they combine a number of problems ranging from device heterogeneity, to middleware constraints, to lack of programm...
Charles Consel, Wilfried Jouve, Julien Lancia, Nic...
CGVR
2008
13 years 9 months ago
River and Coastal Action in Automatic Terrain Generation
- The erosive action of rivers and seas has immense influence on the appearance of the physical landscape. However, the creation of several important river and coastal features are...
Soon Tee Teoh
GLOBECOM
2008
IEEE
13 years 9 months ago
Automatic Large Scale Generation of Internet PoP Level Maps
—Point of presence (PoP) level Internet maps are promising for tasks such as reasoning about the Internet evolution in time or Internet delay estimation. We thus suggest an effi...
Dima Feldman, Yuval Shavitt
VTC
2006
IEEE
114views Communications» more  VTC 2006»
14 years 1 months ago
Block-LDPC Codes vs Duo-Binary Turbo-Codes for European Next Generation Wireless Systems
Abstract—In this paper, we investigate the performancecomplexity trade-off for two leading-edge channel coding techniques, namely Duo-Binary Turbo-Codes (DBTC) and Block LDPC Cod...
Thierry Lestable, Ernesto Zimmerman, Marie-H&eacut...