3055 search results - page 388 / 611 » Conceptual Modeling for Data Integration |
183
click to vote
BMCBI
2002
15 years 4 months ago
2002
Background: Intracellular signal transduction is achieved by networks of proteins and small molecules that transmit information from the cell surface to the nucleus, where they ul...
172
click to vote
CADE
2007
Springer
16 years 5 months ago
2007
Springer
Manna and Pnueli have extensively shown how a mixture of first-order logic (FOL) and discrete Linear time Temporal Logic (LTL) is sufficient to precisely state verification problem...
150
click to vote
VALUETOOLS
2006
ACM
15 years 10 months ago
2006
ACM
Run-time management of modern Web-based services requires the integration of several algorithms and mechanisms for job dispatching, load sharing, admission control, overload detec...
132
click to vote
ISCAS
2005
IEEE
15 years 10 months ago
2005
IEEE
Abstract— We consider the problem of improving the performance of multiwavelets-based image coders through texture parametrization. Texture parametrization is designed to achieve...
138
click to vote
VLDB
1994
ACM
15 years 8 months ago
1994
ACM
Advanced technical applications like routing systems or electrical network managementsystems introduce the need for complex manipulations of large size graphs. Efficiently support...