11740 search results - page 333 / 2348 » More Problems in Rewriting |
163
click to vote
CORR
1998
Springer
15 years 6 months ago
1998
Springer
The purpose of this paper is to explore some semantic problems related to the use of linguistic ontologies in information systems, and to suggest some organizing principles aimed ...
176
click to vote
CSL
1998
Springer
15 years 6 months ago
1998
Springer
What role should evaluation play in the development of natural language generation () techniques and systems? In this paper we describe what is involved in natural langua...
162
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. The group isomorphism problem asks whether two given groups are isomorphic or not. Whereas the case where both groups are abelian is well understood and can be solved eff...
196
click to vote
IEEEHPCS
2010
15 years 5 months ago
2010
This work presents the design and implementation of a massively parallel 3-SAT solver, specifically targeting random problem instances. Our approach is deterministic and features ...
211
click to vote
JGO
2010
15 years 5 months ago
2010
In this paper, the global optimization problem with an objective function that is multiextremal that satisfies the Lipschitz condition over a hypercube is considered. An algorithm...