16626 search results - page 342 / 3326 » Computing is a natural science |
179
click to vote
WG
2004
Springer
16 years 5 days ago
2004
Springer
The clique problem consists in determining whether an undirected graph G of order n contains a clique of order . In this paper we are concerned with the decremental version of cliq...
166
click to vote
GI
2009
Springer
15 years 11 months ago
2009
Springer
: We present an extension of the programming-by-contract (PBC) paradigm to a concurrent and distributed environment. Classical PBC is characterized by absolute conformance of code ...
192
click to vote
ACSC
2000
IEEE
15 years 11 months ago
2000
IEEE
A significant obstacle to the development of intelligent natural language processing systems is the lack of rich knowledge bases containing representations of world knowledge. Fo...
165
click to vote
ERSHOV
1999
Springer
15 years 11 months ago
1999
Springer
Abstract. Monads are a technique widely used in functional programming languages to address many different problems. This paper presents extensions, a functional-logic programming...
167
click to vote
CSCW
1998
ACM
15 years 11 months ago
1998
ACM
CSCW seems to have a persistent problem of understanding the nature of “cooperative work”. This paper argues that this problem is a direct result of not looking at the dynamic...