2348 search results - page 315 / 470 » Stochastic Mapping Frameworks |
145
click to vote
SEKE
2005
Springer
15 years 10 months ago
2005
Springer
The paper presents an approach to support run-time verification of software systems that combines two existing tools, Prospec and Java-MaC, into a single framework. Prospec can be...
128
Voted
SEMWEB
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. Recently, there have been a number of proposals for languages for expressing web service constraints and capabilities, with WSPolicy and WSPL leading the way. The propose...
140
click to vote
TARK
2005
Springer
15 years 10 months ago
2005
Springer
This paper addresses two closely related aspects of subjective information. First, no two agents necessarily see the same thing when they observe the same object. Second, no two a...
152
Voted
VLSM
2005
Springer
15 years 10 months ago
2005
Springer
Abstract. We propose a variational approach for deblurring and impulsive noise removal in multi-channel images. A robust data fidelity measure and edge preserving regularization a...
124
Voted
WAIM
2005
Springer
15 years 10 months ago
2005
Springer
Unlike Internet portals, a typical Web Information System contains lots of user operations. However, existing Web design frameworks focus exclusively on data presentation: the proc...