Sciweavers

756 search results - page 42 / 152
» Leveraging the CAPTCHA Problem
Sort
View
QEST
2007
IEEE
14 years 3 months ago
Probabilistic Model Checking Modulo Theories
— Probabilistic models are widely used to analyze embedded, networked, and more recently biological systems. Existing numerical analysis techniques are limited to finitestate mo...
Björn Wachter, Lijun Zhang, Holger Hermanns
CBMS
2007
IEEE
14 years 3 months ago
Medical Knowledge Morphing via a Semantic Web Framework
Clinical decision-making involves an active interplay between various medical knowledge modalities. Medical knowledge morphing aims to support clinical decision support by mimicki...
Syed Sibte Raza Abidi, Sajjad Hussain
ESCIENCE
2006
IEEE
14 years 2 months ago
Worqbench: An Integrated Framework for e-Science Application Development
With the proliferation of Grid computing, potentially vast computational resources are available for solving complex problems in science and engineering. However, writing, deployi...
Donny Kurniawan, David Abramson
ICITA
2005
IEEE
14 years 2 months ago
Combining Diversity-Based Active Learning with Discriminant Analysis in Image Retrieval
Small-sample learning in image retrieval is a pertinent and interesting problem. Relevance feedback is an active area of research that seeks to find algorithms that are robust wi...
Charlie K. Dagli, ShyamSundar Rajaram, Thomas S. H...
SEW
2005
IEEE
14 years 2 months ago
Bridging the Gap between Systems Design
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...
David Garlan, William K. Reinholtz, Bradley R. Sch...