Sciweavers

221 search results - page 7 / 45
» A Hybrid Cluster-Lift Method for the Analysis of Research Ac...
Sort
View
FM
1999
Springer
161views Formal Methods» more  FM 1999»
14 years 1 months ago
Formal Modeling and Analysis of Hybrid Systems: A Case Study in Multi-robot Coordination
Abstract. The design of controllers for hybridsystemsi.e. mixeddiscretecontinuous systems in a systematic manner remains a challenging task. In this case study, we apply formal m...
Rajeev Alur, Joel M. Esposito, M. Kim, Vijay Kumar...
ICDAR
2005
IEEE
14 years 2 months ago
Hybrid Recognition for One Stroke Style Cursive Handwriting Characters
On-line handwriting recognition has continued to persist as a popular research field while pen computing applications are widely used in recent years. This paper proposes a novel ...
Teng Long, Lianwen Jin
HIPC
2009
Springer
13 years 7 months ago
Comparing the performance of clusters, Hadoop, and Active Disks on microarray correlation computations
Abstract--Microarray-based comparative genomic hybridization (aCGH) offers an increasingly fine-grained method for detecting copy number variations in DNA. These copy number variat...
Jeffrey A. Delmerico, Nathanial A. Byrnes, Andrew ...
APCCM
2009
13 years 10 months ago
Business Process Integration: Method and Analysis
In the study of business management, process integration has become an interesting area of research that affects analysts studying and working on existing system plans. Process in...
Evan D. Morrison, Alex Menzies, George Koliadis, A...
ICDCS
2010
IEEE
14 years 1 months ago
A Hybrid Approach to High Availability in Stream Processing Systems
Abstract—Stream processing is widely used by today’s applications such as financial data analysis and disaster response. In distributed stream processing systems, machine fail...
Zhe Zhang, Yu Gu, Fan Ye, Hao Yang, Minkyong Kim, ...