10458 search results - page 1667 / 2092 » Modeling Features at Runtime |
146
click to vote
IH
2009
Springer
15 years 11 months ago
2009
Springer
Image splicing detection has been considered as one of the most challenging problems in passive image authentication. In this paper, we propose an automatic detection framework to ...
129
click to vote
SBMF
2009
Springer
15 years 11 months ago
2009
Springer
Abstract. Event-B is a formal method used for specifying and reasoning about systems. Rodin is a toolset for developing system models in Event-B. Our experiment which is outlined i...
163
click to vote
VRCAI
2009
ACM
15 years 11 months ago
2009
ACM
Object Segmentation is an important step in object reconstruction from point cloud data of complex urban scenes and in applications to virtual environment. This paper focuses on s...
140
click to vote
APSEC
2008
IEEE
15 years 11 months ago
2008
IEEE
There is a growing trend to deploy web services in pervasive computing environments. Implementing web services on networked, embedded devices leads to a set of challenges, includi...
120
click to vote
CDC
2008
IEEE
15 years 11 months ago
2008
IEEE
— This paper studies a class of hybrid systems with linear (or linear plus saturated linear) continuous and discrete dynamics, which are determined by a flow map and jump map, a...