8701 search results - page 1351 / 1741 » XML-Based Feature Modelling |
132
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...
168
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...
143
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...
125
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...
139
click to vote
CEC
2008
IEEE
15 years 11 months ago
2008
IEEE
—In this paper, we proposed a reduced polynomial neural swarm net (RPNSN) for the task of classification. Classification task is one of the most studied tasks of data mining. In ...