Sciweavers

2560 search results - page 199 / 512
» Analysis Tool for Honeypot Systems
Sort
View
ICDE
2008
IEEE
241views Database» more  ICDE 2008»
16 years 8 months ago
PictureBook: A Text-and-Image Summary System for Web Search Result
Search engine technology plays an important role in Web information retrieval. However, with Internet information explosion, traditional searching techniques cannot provide satisfa...
Baile Shi, Guoyu Hao, Hongtao Xu, Mei Wang, Qi Zha...
ICDAR
1999
IEEE
15 years 11 months ago
Projection based Segmentation of Musical Sheets
The automatic recognition of music scores is a key process for the electronic treatment of music information. In this paper, we present the segmentation module of an OMR system. T...
Simone Marinai, Paolo Nesi
ISOLA
2010
Springer
15 years 4 months ago
HATS: Highly Adaptable and Trustworthy Software Using Formal Methods
The HATS project develops a formal method for the design, analysis, and implementation of highly adaptable software systems that are at the same time characterized by a high demand...
Reiner Hähnle
PLDI
2010
ACM
15 years 10 months ago
Detecting Inefficiently-Used Containers to Avoid Bloat
Runtime bloat degrades significantly the performance and scalability of software systems. An important source of bloat is the inefficient use of containers. It is expensive to cre...
Guoqing Xu, Atanas Rountev
HICSS
2003
IEEE
126views Biometrics» more  HICSS 2003»
15 years 12 months ago
Measuring Cognitive Load with EventStream Software Framework
We have constructed “EventStream” data collection and analysis software framework to support a wide variety of sensors that measure user’s physical state. The framework’s ...
Christoph Aschwanden, Jan Stelovsky