2004 search results - page 264 / 401 » Comparison of Model Checking Tools for Information Systems |
128
click to vote
EXPDB
2006
ACM
15 years 10 months ago
2006
ACM
With the growing popularity of information retrieval (IR) in distributed systems and in particular P2P Web search, a huge number of protocols and prototypes have been introduced i...
102
click to vote
MTA
2010
15 years 3 months ago
2010
This paper presents a BitpLAne SelecTive (BLAST) distributed video coding (DVC) system. In the proposed system, the significance of each bitplane is measured at the decoder based o...
195
click to vote
TOG
2012
13 years 7 months ago
2012
We develop a system for 3D object retrieval based on sketched feature lines as input. For objective evaluation, we collect a large number of query sketches from human users that a...
129
click to vote
CARS
2001
15 years 6 months ago
2001
: In multimodal image-guided surgery, surgeons have to manage large amounts of information (i.e. images) to plan and perform the surgical procedure. To facilitate management we att...
131
click to vote
ENVSOFT
2007
15 years 4 months ago
2007
This paper presents a case study in assessment of erosion hotspots in an Andean watershed. To do this, we made use of an interface called Geospatial Modelling of Soil Erosion (GEM...