4266 search results - page 113 / 854 » A Framework for Defining Logics |
ICIP
2004
IEEE
15 years 11 months ago
2004
IEEE
In this paper, an information theoretic framework for image segmentation is presented. This approach is based on the information channel that goes from the image intensity histogr...
102
click to vote
IAT
2007
IEEE
15 years 1 months ago
2007
IEEE
The purpose of this paper is to introduce a multi-agent model for plan synthesis in which the production of a global shared plan is based on a promising unified framework based on...
SIMVIS
2004
14 years 11 months ago
2004
We present a rigorous formal - but transparent - specification of the semantics of a generic simulation-based 3D animation framework. Our system combines a SystemC simulation kern...
SAC
2008
ACM
14 years 9 months ago
2008
ACM
Test case prioritization for regression testing can be performed using different metrics (e.g., statement coverage, path coverage) depending on the application context. Employing ...
IJMTM
2010
14 years 8 months ago
2010
: Product quality receives much attention but means different things to different people depending on their involvement with a product. Product Lifecycle Management (PLM) with its ...