4635 search results - page 509 / 927 » Modeling Design Knowledge on Structure |
179
click to vote
E4MAS
2004
Springer
15 years 12 months ago
2004
Springer
Models and conceptualizations are necessary to understand and design ubiquitous systems that are context–aware not just from a technological point of view. The current technologi...
162
click to vote
FMSD
2006
15 years 6 months ago
2006
Two base algorithms are known for reachability verification over timed automata. They are called forward and backwards, and traverse the automata edges using either successors or p...
179
click to vote
MIRAGE
2007
Springer
16 years 19 days ago
2007
Springer
Abstract. We describe an algorithm for fitting a Catmull-Clark subdivision surface model to an unstructured, incomplete and noisy data set. We complete the large missing data regi...
153
click to vote
GLOBECOM
2006
IEEE
16 years 16 days ago
2006
IEEE
In this paper, the performance model for a lossless OBS edge node is built with respect to the queueing performance of the transmission buffer. In contrast to the shaping effect...
163
click to vote
ADAEUROPE
2003
Springer
15 years 11 months ago
2003
Springer
The existence of a standard container library has been largely recognized as a key feature for improving the quality and effectiveness of Ada programming. In this paper, we aim at...