8828 search results - page 1247 / 1766 » Formal methods in practice |
227
click to vote
ECCV
2006
Springer
16 years 9 months ago
2006
Springer
Belief propagation (BP) has become widely used for low-level vision problems and various inference techniques have been proposed for loopy graphs. These methods typically rely on a...
189
click to vote
ICDE
2010
IEEE
16 years 2 months ago
2010
IEEE
Abstract— Large graph datasets are ubiquitous in many domains, including social networking and biology. Graph summarization techniques are crucial in such domains as they can ass...
219
click to vote
SIGSOFT
2009
ACM
16 years 2 months ago
2009
ACM
Web-services are broadly considered as an effective means to achieve interoperability between heterogeneous parties of a business process and offer an open platform for developing...
193
click to vote
HAPTICS
2009
IEEE
16 years 1 months ago
2009
IEEE
Palpation is important in both veterinary and medical health professions. It is however difficult to learn, teach and assess. More must be understood about the skills involved in ...
219
click to vote
WINE
2009
Springer
16 years 1 months ago
2009
Springer
We study the geometrical shape of the partitions of the input space created by the allocation rule of a truthful mechanism for multi-unit auctions with multidimensional types and ...