5622 search results - page 779 / 1125 » Solving architectural modelling problems using knowledge |
163
click to vote
SSS
2007
Springer
16 years 17 days ago
2007
Springer
Abstract. “Pulse Synchronization” intends to invoke a recurring distributed event at the different nodes, of a distributed system as simultaneously as possible and with a freq...
182
click to vote
LICS
2006
IEEE
16 years 14 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
175
click to vote
ICCV
2011
IEEE
14 years 6 months ago
2011
IEEE
Recently, there has been an increasing interest in the investigation of statistical pattern recognition models for the fully automatic segmentation of the left ventricle (LV) of t...
184
click to vote
BMVC
2001
15 years 8 months ago
2001
The ability to construct CAD or other object models from edge and range data has a fundamental meaning in building a recognition and positioning system. While the problem of model...
220
Voted
SIROCCO
1997
15 years 7 months ago
1997
A cellular network is generally modeled as a subgraph of the triangular lattice. In the static frequency assignment problem, each vertex of the graph is a base station in the netw...