Sciweavers

232 search results - page 28 / 47
» Merging Features in Featured Transition Systems
Sort
View
SIGMOD
2007
ACM
207views Database» more  SIGMOD 2007»
14 years 7 months ago
MySearchView: a customized metasearch engine generator
In this paper, we describe MySearchView ? a system for assembling search engines into metasearch engines. With this system, any user can create a metasearch engine by simply letti...
Yiyao Lu, Zonghuan Wu, Hongkun Zhao, Weiyi Meng, K...
ESWS
2008
Springer
13 years 9 months ago
Entity Identifiers for Lineage Preservation
Abstract. The generation of entity identifiers is a key issue in the context of semantic web technologies. Entity identifiers are needed when we perform any kind of operation (e.g....
Julien Gaugaz, Gianluca Demartini
RV
2010
Springer
220views Hardware» more  RV 2010»
13 years 5 months ago
Runtime Verification with the RV System
The RV system is the first system to merge the benefits of Runtime Monitoring with Predictive Analysis. The Runtime Monitoring portion of RV is based on the successful Monitoring O...
Patrick O'Neil Meredith, Grigore Rosu
CL
2008
Springer
13 years 7 months ago
Efficient exception handling in Java bytecode-to-C ahead-of-time compiler for embedded systems
One of the most promising approaches to Java acceleration in embedded systems is a bytecode-to-C ahead-of-time compiler (AOTC). It improves the performance of a Java virtual machi...
Dong-Heon Jung, Jong Kuk Park, Sung-Hwan Bae, Jaem...
CVPR
2007
IEEE
14 years 9 months ago
Closed-Loop Tracking and Change Detection in Multi-Activity Sequences
We present a novel framework for tracking of a long sequence of human activities, including the time instances of change from one activity to the next, using a closed-loop, non-li...
Bi Song, Namrata Vaswani, Amit K. Roy Chowdhury