Sciweavers

1005 search results - page 154 / 201
» Temporal Structures
Sort
View
JSW
2007
156views more  JSW 2007»
14 years 10 months ago
An Automatic Test Case Generation Framework for Web Services
— BPEL (Business Process Execution Language) as a de-facto standard for web service orchestration has drawn particularly attention from researchers and industries. BPEL is a semi...
Yongyan Zheng, Jiong Zhou, Paul Krause
IPMI
2009
Springer
15 years 10 months ago
A Unified Framework for MR Based Disease Classification
In this paper, we employ an anatomical parameterization of spatial warps to reveal structural differences between medical images of healthy control subjects and disease patients. T...
Kilian M. Pohl, Mert R. Sabuncu
WWW
2002
ACM
15 years 10 months ago
Model checking cobweb protocols for verification of HTML frames behavior
HTML documents composed of frames can be difficult to write correctly. We demonstrate a technique that can be used by authors manually creating HTML documents (or by document edit...
P. David Stotts, Jaime Navon
CVPR
2010
IEEE
2187views Computer Vision» more  CVPR 2010»
15 years 6 months ago
3D Scene Priors for Road Detection
Vision-based road detection is important in different areas of computer vision such as autonomous driving, car collision warning and pedestrian crossing detection. However, curre...
Jose M. Alvarez, Theo Gevers, Antonio M. Lopez
IEEEPACT
2008
IEEE
15 years 4 months ago
Characterizing and modeling the behavior of context switch misses
One of the essential features in modern computer systems is context switching, which allows multiple threads of execution to time-share a limited number of processors. While very ...
Fang Liu, Fei Guo, Yan Solihin, Seongbeom Kim, Abd...