Sciweavers

1583 search results - page 248 / 317
» Workflows in Dynamic Development Processes
Sort
View
RTCSA
1999
IEEE
15 years 6 months ago
A Symbolic Model Checker for Testing ASTRAL Real-Time Specifications
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
Zhe Dang, Richard A. Kemmerer
133
Voted
BMCBI
2010
161views more  BMCBI 2010»
15 years 2 months ago
GeneMesh: a web-based microarray analysis tool for relating differentially expressed genes to MeSH terms
Background: An important objective of DNA microarray-based gene expression experimentation is determining interrelationships that exist between differentially expressed genes and ...
Saurin D. Jani, Gary L. Argraves, Jeremy L. Barth,...
173
Voted

Publication
592views
16 years 10 months ago
Coupling Graph Cuts and Level Sets
"This paper presents an efficient algorithm for solving one sort of region-based active contour models, i.e. the active contours without edges model. We develop the link betwe...
Xiang Zeng, Wei Chen, and Qunsheng Peng
CVPR
2007
IEEE
16 years 4 months ago
Segmental Hidden Markov Models for View-based Sport Video Analysis
We present a generative model approach to explore intrinsic semantic structures in sport videos, e.g., the camera view in American football games. We will invoke the concept of se...
Yi Ding, Guoliang Fan
220
Voted
ICDE
2007
IEEE
109views Database» more  ICDE 2007»
16 years 3 months ago
Evaluating Proximity Relations Under Uncertainty
For location-based services it is often essential to efficiently process proximity relations among mobile objects, such as to establish whether a group of friends or family member...
Zhengdao Xu, Hans-Arno Jacobsen