1888 search results - page 265 / 378 » Proof theory and computational analysis |
109
click to vote
STOC
2010
ACM
15 years 6 months ago
2010
ACM
We consider the problem of maintaining a large matching and a small vertex cover in a dynamically changing graph. Each update to the graph is either an edge deletion or an edge in...
109
click to vote
ACSAC
2004
IEEE
15 years 5 months ago
2004
IEEE
Since attackers trust computer systems to tell them the truth, it may be effective for those systems to lie or mislead. This could waste the attacker's resources while permit...
133
click to vote
VL
1991
IEEE
15 years 5 months ago
1991
IEEE
The Conceptual Programming environment, CP, being developed at the Computing Research Laboratory (CRL), is a complete knowledge representation visual programming environment for u...
BCSHCI
2007
15 years 3 months ago
2007
Emotional appeal is a key dimension in user experience that often goes unmeasured in most user-centered design projects. This paper presents preliminary work for developing a set ...
102
click to vote
ACL
2006
15 years 3 months ago
2006
This paper proposes a new approach for Multi-word Expression (MWE)extraction on the motivation of gene sequence alignment because textual sequence is similar to gene sequence in p...