Sciweavers

4983 search results - page 99 / 997
» order 2008
Sort
View
COLING
1990
13 years 11 months ago
A Mechanism for ellipsis resolution in dialogued systems
: An ellipsis resolution mechanism is presented. The mechanism is a part of a Natural Language Understanding System developed in the last years in order to be included as a main co...
Arantza Díaz de Ilarraza Sánchez, H....
CAV
2008
Springer
143views Hardware» more  CAV 2008»
14 years 1 hour ago
Applying the Graph Minor Theorem to the Verification of Graph Transformation Systems
We show how to view certain subclasses of (single-pushout) graph transformation systems as well-structured transition systems, which leads to decidability of the covering problem v...
Salil Joshi, Barbara König
DAM
1999
105views more  DAM 1999»
13 years 9 months ago
The b-chromatic Number of a Graph
The achromatic number (G) of a graph G = (V, E) is the maximum k such that V has a partition V1, V2, . . . , Vk into independent sets, the union of no pair of which is independent...
Robert W. Irving, David Manlove
DEXAW
2008
IEEE
129views Database» more  DEXAW 2008»
14 years 4 months ago
SODA: An Algorithm to Guarantee Correctness of Concurrent Transaction Execution in Mobile P2P Databases
This paper proposes an optimistic concurrency control (CC) algorithm, called Sequential Order with Dynamic Adjustment (SODA), that guarantees timely and correct execution of concu...
Zhaowen Xing, Le Gruenwald, K. K. Phang
WSC
2008
14 years 9 days ago
Simulation and experimental design applied to sizing supermarket cashiers in Colombia
A framework for Colombian supermarkets challenges in order to find an adequate number of cashiers and baggers was developed, translated to a simulation model using Promodel
Jorge A. Alvarado, Luis M. Pulido