14056 search results - page 302 / 2812 » Consistency in Model Integration |
124
Voted
CORR
2007
Springer
15 years 6 months ago
2007
Springer
Due to scaling laws, in microfluidic, flows are laminar. Consequently, mixing between two liquids is mainly obtained by natural diffusion which may take a long time or equivalentl...
193
click to vote
AISS
2010
15 years 4 months ago
2010
The National Agricultural Biotechnology Information Center (NABIC) constructs an agricultural biology-based infrastructure and develops a biotechnological database. The NABIC has ...
143
click to vote
AAAI
2000
15 years 8 months ago
2000
We perform an extensive theoretical and empirical analysis of the use of auxiliary variables and implied constraints in modelling a class of non-binary constraint satisfaction pro...
145
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
The authors present experimental and simulation results of an outcome-based learning model as it applies to the identification of emerging threats. This model integrates judgment,...
159
click to vote
ISOLA
2004
Springer
16 years 1 days ago
2004
Springer
We study consistency, satisfiability, and validity problems for collectively model checking a set of views endowed with labelled transitions, hybrid constraints on states, and ato...