Sciweavers

14774 search results - page 377 / 2955
» Computational complexity and evolutionary computation
Sort
View
LPNMR
1997
Springer
15 years 11 months ago
Computing Non-Ground Representations of Stable Models
Turi [20] introduced the important notion of a constrained atom: an atom with associated equality and disequality constraints on its arguments. A set of constrained atoms is a cons...
Thomas Eiter, James J. Lu, V. S. Subrahmanian
HOTOS
1993
IEEE
15 years 10 months ago
Using Reconciliation to Share Files Between Occasionally Connected Computers
Future large distributed systems will be made by interconnecting highly autonomous subsystems, rather than by building ever more elaborate complexes which attempt to provide a sin...
John H. Howard
ACSAC
2004
IEEE
15 years 10 months ago
High-Fidelity Modeling of Computer Network Worms
modeling, such as using epidemic models, has been the general method of choice for understanding and analyzing the high-level effects of worms. However, high-fidelity models, such...
Kalyan S. Perumalla, Srikanth Sundaragopalan
COLING
2008
15 years 8 months ago
Computer Aided Correction and Extension of a Syntactic Wide-Coverage Lexicon
The effectiveness of parsers based on manually created resources, namely a grammar and a lexicon, rely mostly on the quality of these resources. Thus, increasing the parser covera...
Lionel Nicolas, Benoît Sagot, Miguel A. Moli...
CDES
2006
99views Hardware» more  CDES 2006»
15 years 8 months ago
Teraflop Computing for Nanoscience
: Over the last three decades there has been significant progress in the first principles methods for calculating the properties of materials at the quantum level. They have largel...
Yang Wang 0008, G. M. Stocks, Aurelian Rusanu, D. ...