1115 search results - page 30 / 223 » An Abstract Look at Realizability |
FOIKS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract In this paper we present a new rule-based approach for consistency preserving view updating in deductive databases. Based on rule transformations performed during schema d...
SEMWEB
2007
Springer
14 years 1 months ago
2007
Springer
Towards a sustainable society, design of artifacts must be optimized with limited resources on the earth while keeping our life. In order to realize it, I emphasize openness of des...
ICPP
2006
IEEE
14 years 1 months ago
2006
IEEE
— This paper presents Salsa, a novel, decentralized and asynchronous realization of the “replica exchange” algorithm for simulating the structure, function, folding, and dyna...
ISVC
2005
Springer
14 years 1 months ago
2005
Springer
Abstract. We present a new model for artistic portrait caricature modeling and rendering. It is composed of a caricature model and a rendering system. The computer portrait caricat...
WEBI
2001
Springer
13 years 12 months ago
2001
Springer
Abstract. This paper argues that the World Wide Web could be regarded not only as an information resource but also as a dynamic, multilingual, least controlled, easy to access and ...