5622 search results - page 162 / 1125 » Solving architectural modelling problems using knowledge |
175
click to vote
AGI
2011
14 years 10 months ago
2011
Intelligence is a multidimensional problem of which physical reasoning and physical knowledge are important dimensions. However, there are few resources of physical knowledge that ...
187
click to vote
IMSA
2001
15 years 7 months ago
2001
: In this paper, we proposed a SORBA (Shared Object Request Broker Architecture) model, an objectbased P2P model, which complies with an open architecture, and manages resources af...
189
click to vote
HPCN
1998
Springer
15 years 10 months ago
1998
Springer
Unstructured grids can represent the complex geometry of the ocean basin with high delity. The lack of development tools supporting irregular grid problems discourages the use of ...
187
click to vote
CIBB
2009
15 years 7 months ago
2009
Modelling activities in molecular biology face the difficulty of prediction to link molecular knowledge with cell phenotypes. Even when the interaction graph between molecules is k...
168
click to vote
CAV
2003
Springer
15 years 11 months ago
2003
Springer
Many verification problems reduce to proving the validity of formulas involving both propositional connectives and domain-specific functions and predicates. This paper presents ...