272 search results - page 34 / 55 » Some Results on Ordered Structures in Toposes |
BIS
2006
13 years 10 months ago
2006
Abstract. Business process models, often modelled using graphical languages like UML, serve as a base for communication between the stakeholders in the software development process...
JDA
2006
13 years 8 months ago
2006
Abstract. Sreedhar et al. [SGL98, Sre95] have presented an eliminationbased algorithm to solve data flow problems. A thorough analysis of the algorithm shows that the worst-case pe...
VLDB
1997
ACM
14 years 18 days ago
1997
ACM
In this paper, we present and evaluate alternative techniques to effect the use of location-independent identiļ¬ers in distributed database systems. Location-independent identiļ¬...
AIRS
2006
Springer
14 years 7 days ago
2006
Springer
Document clustering techniques mostly depend on models that impose explicit and/or implicit priori assumptions as to the number, size, disjunction characteristics of clusters, and/...
GCB
2010
Springer
13 years 6 months ago
2010
Springer
: The ability of some RNA molecules to switch between different metastable conformations plays an important role in cellular processes. In order to identify such molecules and to p...