1828 search results - page 134 / 366 » From Features to Semantics: Some Preliminary Results |
CP
2003
Springer
15 years 6 months ago
2003
Springer
Recently spectacular improvements in the performance of SAT solvers have been achieved through nogood recording (clause learning). In the CSP literature, on the other hand, nogood ...
HICSS
1998
IEEE
15 years 5 months ago
1998
IEEE
In this paper we present the design and implementation of a distributed index architecture to facilitate metadata discovery on large networks. Many current information discovery s...
102
click to vote
CSMR
2005
IEEE
15 years 7 months ago
2005
IEEE
Building reverse engineering or reengineering tools often requires parsers for many different programming languages. The diffusion of dialects and variants makes many available pa...
102
click to vote
GREC
2009
Springer
15 years 5 months ago
2009
Springer
Abstract. In this paper we propose a new approach to recognize symbols by the use of a concept lattice. We propose to build a concept lattice in terms of graphical patterns. Each m...
118
click to vote
BCS
2008
15 years 3 months ago
2008
Digital circuits with feedback loops can solve some instances of NP-hard problems by relaxation: the circuit will either oscillate or settle down to a stable state that represents...