12670 search results - page 2297 / 2534 » Requirements Modeling |
185
click to vote
CVPR
2005
IEEE
16 years 4 days ago
2005
IEEE
In this paper we develop a theory for characterizing how deformable a shape is. We define a term called “deformability index” for shapes. The deformability index is computed ...
213
click to vote
ECCB
2005
IEEE
16 years 4 days ago
2005
IEEE
Many areas of modern biology are concerned with the management, storage, visualization, comparison, and analysis of networks. For instance, networks are used to model signal trans...
169
click to vote
ICRA
2005
IEEE
16 years 3 days ago
2005
IEEE
— High-precision autofarming is rapidly becoming a reality with the requirements of agricultural applications. Lots of research works have been focused on the automatic guidance ...
175
click to vote
INFOCOM
2005
IEEE
16 years 3 days ago
2005
IEEE
— In this paper we consider packet networks loaded by admissible traffic patterns, i.e. by traffic patterns that, if optimally routed, do not overload network resources. In the...
199
click to vote
KBSE
2005
IEEE
16 years 2 days ago
2005
IEEE
In test generation based on model-checking, white-box test criteria are represented as trap conditions written in a temporal logic. A model checker is used to refute trap conditio...