Sciweavers

2517 search results - page 9 / 504
» Specifying Weak Sets
Sort
View
DM
2006
60views more  DM 2006»
13 years 7 months ago
On cycles through specified vertices
For a set X of vertices of a graph fulfilling local connectedness conditions the existence of a cycle containing X is proved. AMS classification: 05C38, 05C45, 05C35
Tobias Gerlach, Frank Göring, Jochen Harant, ...
ICFEM
1997
Springer
13 years 11 months ago
Formally Specifying and Verifying Real-Time Systems
A real-time computer system is a system that must perform its functions within specified time bounds. These systems are generally characterized by complex interactions with the en...
Richard A. Kemmerer
EJC
2003
13 years 8 months ago
An Algebraic Approach for Specifying Compound Terms in Faceted Taxonomies
Abstract. A faceted taxonomy is a set of taxonomies, each describing a given domain from a different aspect, or facet. The indexing of domain objects is done through conjunctive c...
Yannis Tzitzikas, Anastasia Analyti, Nicolas Spyra...
AWIC
2005
Springer
14 years 28 days ago
Specifying Schema Mappings for Query Reformulation in Data Integration Systems
In data integration systems there is a problem of answering queries through a target schema, given a set of mappings between source schemas and the target schema, and given that th...
Tadeusz Pankowski
ANSS
2000
IEEE
13 years 11 months ago
Specifying Truck Movement in Traffic Models Using Cell-DEVS
A specification language was defined to outline sections of cities as cell spaces. The goal is to allow the definition of complex traffic models in a simple fashion for the modele...
Alejandra Davidson, Gabriel A. Wainer