3799 search results - page 623 / 760 » An Engineering Approach to Formal Methods |
153
click to vote
ICIP
2007
IEEE
16 years 8 months ago
2007
IEEE
In this paper, we propose a novel technique for estimating focused image sequences captured by an out-of-focus camera. The basic concept used in the proposed algorithm employs mul...
168
click to vote
DAC
2006
ACM
16 years 7 months ago
2006
ACM
Accurate estimation of the worst-case execution time (WCET) of a program is important for real-time embedded software. Static WCET estimation involves program path analysis and ar...
170
click to vote
CSIE
2009
IEEE
16 years 1 months ago
2009
IEEE
The tendency for Non-Functional Requirements (NFRs) to have a wide-ranging impact on a software system, and the strong interdependencies and tradeoffs that exist between NFRs and ...
152
click to vote
IAT
2009
IEEE
16 years 1 months ago
2009
IEEE
— Opinion mining is the task of extracting from a set of documents opinions expressed by a source on a specified target. This article presents a comparative study on the methods ...
135
click to vote
WCNC
2008
IEEE
16 years 23 days ago
2008
IEEE
— In its recently published TCG Mobile Reference Architecture, the TCG Mobile Phone Work Group specifies a new concept to enable trust into future mobile devices. For this purpo...