933 search results - page 160 / 187 » Extending Forward Checking |
121
Voted
DGCI
2005
Springer
15 years 7 months ago
2005
Springer
The watershed transformation is an efficient tool for segmenting grayscale images. An original approach to the watershed [1,9] consists in modifying the original image by lowering...
128
click to vote
EUROMED
2010
15 years 23 days ago
2010
Digital cultural heritage in interactive form can take different shapes. It can be either in the form of interactive virtual representations of non-digital objects like buildings o...
132
click to vote
PVLDB
2008
15 years 21 days ago
2008
Modern Internet communities need to integrate and query structured information. Employing current information integration infrastructure, data integration is still a very costly e...
126
click to vote
JAPLL
2010
15 years 20 days ago
2010
Two currently active strands of research on logics for multi-agent systems are dynamic epistemic logic, focusing on the epistemic consequences of actions, and logics of coalitiona...
137
click to vote
JFP
2010
15 years 20 days ago
2010
Session types support a type-theoretic formulation of structured patterns of communication, so that the communication behaviour of agents in a distributed system can be verified ...