3799 search results - page 623 / 760 » An Engineering Approach to Formal Methods |
131
Voted
ICIP
2007
IEEE
16 years 6 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...
144
click to vote
DAC
2006
ACM
16 years 6 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...
145
Voted
CSIE
2009
IEEE
15 years 11 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 ...
126
click to vote
IAT
2009
IEEE
15 years 11 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 ...
112
click to vote
WCNC
2008
IEEE
15 years 11 months 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...