3765 search results - page 432 / 753 » Formal Methods for Systems Engineering Behavior Models |
167
click to vote
DATE
2003
IEEE
16 years 1 days ago
2003
IEEE
The architectural study of wireless communication systems typically requires simulations with high-level models for different analog and RF blocks. Among these blocks, frequency-t...
176
click to vote
CGF
2010
15 years 6 months ago
2010
Many problems in geometric modeling can be described using variational formulations that define the smoothness of the shape and its behavior w.r.t. the posed modeling constraints....
219
click to vote
AAAI
2006
15 years 8 months ago
2006
We describe an approach to distributed knowledge acquisition using an ontology. The ontology is used to represent and reason about soldier performance. These methods are embedded ...
169
click to vote
ICWS
2010
IEEE
15 years 8 months ago
2010
IEEE
This paper addresses one of the major problems of SOA software development: the lack of support for testing complex service-oriented systems. The research community has developed v...
206
click to vote
CVPR
2004
IEEE
16 years 8 months ago
2004
IEEE
Background modeling is an important component of many vision systems. Existing work in the area has mostly addressed scenes that consist of static or quasi-static structures. When...