1115 search results - page 30 / 223 » An Abstract Look at Realizability |
127
click to vote
FOIKS
2008
Springer
15 years 3 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...
83
Voted
SEMWEB
2007
Springer
15 years 8 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...
107
click to vote
ICPP
2006
IEEE
15 years 8 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...
77
Voted
ISVC
2005
Springer
15 years 7 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...
109
Voted
WEBI
2001
Springer
15 years 6 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 ...