505 search results - page 35 / 101 » FACETS |
JISBD
2001
13 years 9 months ago
2001
The Itacio component model intends to bring a method of verifying software systems made up of ts. This method can be applied at different levels of abstraction, and to different f...
ACL
1998
13 years 9 months ago
1998
In this paper, we propose a generalization of Centering Theory (CT) (Grosz, Joshi, Weinstein 1995) called Veins Theory (VT), which extends the applicability of centering rules fro...
WSC
1997
13 years 9 months ago
1997
Over time, simulation tools have found use in most manufacturing enterprises. Due to the increased flexibility and openness of the tools available today, simulation can now begin ...
BMCBI
2007
13 years 7 months ago
2007
Background: Affymetrix GeneChips™ are an important tool in many facets of biological research. Recently, notable design changes to the chips have been made. In this study, we us...
ORL
2008
13 years 7 months ago
2008
Barahona and Mahjoub found a defining system of the stable set polytope for a graph with a cut-set of cardinality 2. We extend this result to cut-sets composed of a complete graph...