2153 search results - page 181 / 431 » From Requirements Models to Formal Specifications in B |
189
click to vote
CVPR
2008
IEEE
16 years 8 months ago
2008
IEEE
In this paper, we present a patch-based regression framework for addressing the human age and head pose estimation problems. Firstly, each image is encoded as an ensemble of order...
195
click to vote
WSDM
2010
ACM
16 years 3 months ago
2010
ACM
We consider a set of views stating possibly conflicting facts. Negative facts in the views may come, e.g., from functional dependencies in the underlying database schema. We want ...
164
click to vote
HIKM
2006
ACM
16 years 13 days ago
2006
ACM
The increasing complexity of clinical trials has generated an enormous requirement for knowledge and information specification at all stages of the trials, including planning, doc...
201
click to vote
JUCS
2010
15 years 1 months ago
2010
: There is a need for more rigorous analysis techniques that developers can use for verifying the critical properties in UML models. The UML-based Specification Environment (USE) t...
192
click to vote
CODES
2007
IEEE
16 years 24 days ago
2007
IEEE
Multiple wireless technologies are converging to run on personal handhelds. The plethora of communication standards next to the cost issues of deeper submicron processing require ...