11963 search results - page 2104 / 2393 » A framework for linguistic modelling |
180
click to vote
ISCC
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we focus on issues of restorable dynamic routing in MPLS networks. We assume that the considered MPLS network must provide reliable service including restorable rout...
186
click to vote
QEST
2006
IEEE
16 years 23 days ago
2006
IEEE
Abstract. We present a compositional theory of system verification, where specifications assign real-numbered costs to systems. These costs can express a wide variety of quantita...
180
click to vote
SIBGRAPI
2006
IEEE
16 years 23 days ago
2006
IEEE
This paper makes a rereading of two successful image segmentation approaches, the fuzzy connectedness (FC) and the watershed (WS) approaches, by analyzing both by means of the Ima...
172
click to vote
SKG
2006
IEEE
16 years 23 days ago
2006
IEEE
In this paper we present design and development of the semantic grid services for the flood forecasting simulations. We will highlight the corresponding architecture and the proc...
161
click to vote
WETICE
2006
IEEE
16 years 23 days ago
2006
IEEE
Verification of the security of software artifacts is a challenging task. An integrated approach that combines verification techniques can increase the confidence in the security ...