11016 search results - page 695 / 2204 » Cloud Computing for Science |
187
click to vote
TLCA
2007
Springer
16 years 1 months ago
2007
Springer
Abstract. This paper introduces a cut-elimination procedure of the intuitionistic sequent calculus and shows that it is isomorphic to the proof reduction of the intuitionistic natu...
187
click to vote
WG
2007
Springer
16 years 1 months ago
2007
Springer
We study a variation of the vertex cover problem where it is required that the graph induced by the vertex cover is connected. We prove that this problem is polynomial in chordal g...
191
click to vote
ACSC
2005
IEEE
16 years 1 months ago
2005
IEEE
Collaborative Software Engineering (CSE) supports the fine-grained real-time development of software by teams of developers located anywhere on the Internet. In this paper we des...
188
Voted
ACMSE
2005
ACM
16 years 1 months ago
2005
ACM
an extended abstract for a poster that presents a new approach that employs metaprogramming to generate optimized code for algorithms in Linear Algebra. Categories and Subject Des...
207
Voted
BIRTHDAY
2005
Springer
16 years 29 days ago
2005
Springer
Abstract. The paper reminds of the vision behind Intellectics, the discipline of Arti cial Intelligence (AI) and Cognitive Science, and argues that the time has come for attacking ...