3954 search results - page 101 / 791 » Image-based Model Completion |
141
click to vote
CORR
2010
Springer
15 years 5 months ago
2010
Springer
Description Logic Programs (dl-programs) proposed by Eiter et al. constitute an elegant yet powerful formalism for the integration of answer set programming with description logic...
118
click to vote
DATE
2005
IEEE
15 years 10 months ago
2005
IEEE
The purpose of this paper is to formally specify a flow devoted to the design of Differential Power Analysis (DPA) resistant QDI asynchronous circuits. The paper first proposes a ...
137
click to vote
HICSS
2005
IEEE
15 years 10 months ago
2005
IEEE
This paper reports results from an exploratory study investigating the activity patterns of pair programming using a student project conducted over a period of nine weeks. We foun...
115
click to vote
ECTEL
2006
Springer
15 years 8 months ago
2006
Springer
Virtual learning communities bring together people from diverse backgrounds and provide the basis for knowledge construction and sharing. Important processes for the community to f...
129
click to vote
IJHPCN
2008
15 years 4 months ago
2008
: In this paper we introduce a novel web server architecture that combines the best aspects of both the multithreaded and the event-driven architectures, the two major existing alt...