Sciweavers

7167 search results - page 791 / 1434
» Answer Set Programming
Sort
View
CCE
2004
15 years 6 months ago
Computational studies using a novel simplicial-approximation based algorithm for MINLP optimization
Significant advances have been made in the last two decades for the effective solution of mixed integer non-linear programming (MINLP) problems, mainly by exploiting the special s...
Vishal Goyal, Marianthi G. Ierapetritou
COMSIS
2004
110views more  COMSIS 2004»
15 years 6 months ago
Generating XML Based Specifications of Information Systems
This paper outlines a methodology for designing information systems based on XML. The methodology uses XML DTDs to define the design standards, and the structure and constraints of...
Miro Govedarica, Ivan Lukovic, Pavle Mogin
CORR
2004
Springer
87views Education» more  CORR 2004»
15 years 6 months ago
Roles Are Really Great!
We present a new role system for specifying changing referencing relationships of heap objects. The role of an object depends, in large part, on its aliasing relationships with ot...
Viktor Kuncak, Patrick Lam, Martin C. Rinard
COLING
2002
15 years 6 months ago
An Annotation System for Enhancing Quality of Natural Language Processing
Natural languageprocessingNLP programsare confronted with various di culties in processing HTML and XML documents, and have the potential to produce better results if linguistic i...
Hideo Watanabe, Katashi Nagao, Michael C. McCord, ...
FGCS
2000
93views more  FGCS 2000»
15 years 6 months ago
Sharing objects in a distributed, single address space environment
With reference to an object type defining the two basic operations, read and write, we present solutions to the object sharing problem, classified according to the migration and/o...
Gianluca Dini, Lanfranco Lopriore