Sciweavers

10051 search results - page 1606 / 2011
» A Dynamic Separator Algorithm
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 11 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
AINA
2006
IEEE
15 years 10 months ago
Peer-Tree: A Hybrid Peer-to-Peer Overlay for Service Discovery
Efficient service discovery in dynamic, crossorganizational VO is one of the challenge aspects in ChinaGrid. Network overlay and search algorithms are two important considerations...
Jing Tie, Hai Jin, Shengli Li, Xuanhua Shi, Hanhua...
133
Voted
AVSS
2006
IEEE
15 years 10 months ago
A Smith-Waterman Local Alignment Approach for Spatial Activity Recognition
In this paper we address the spatial activity recognition problem with an algorithm based on Smith-Waterman (SW) local alignment. The proposed SW approach utilises dynamic program...
Daniel E. Riedel, Svetha Venkatesh, Wanquan Liu
CCGRID
2006
IEEE
15 years 10 months ago
QoS Oriented Resource Reservation in Shared Environments
Resource sharing across different computers and organizations makes it possible to support diverse, dynamic changing resource requirements of distributed applications. Reservation...
Ming Wu, Xian-He Sun, Yong Chen
DEXAW
2006
IEEE
133views Database» more  DEXAW 2006»
15 years 10 months ago
A High-Level Architecture of a Metadata-based Ontology Matching Framework
One of the pre-requisites for the realization of the Semantic Web vision are matching techniques which are capable of handling the open, dynamic and heterogeneous nature of the se...
Malgorzata Mochol, Elena Paslaru Bontas Simperl
« Prev « First page 1606 / 2011 Last » Next »