Sciweavers

9719 search results - page 679 / 1944
» Inference for Multiplicative Models
Sort
View
IEAAIE
2007
Springer
16 years 1 months ago
Generating Cartoon-Style Summary of Daily Life with Multimedia Mobile Devices
Mobile devices are treasure boxes of personal information containing user’s context, personal schedule, diary, short messages, photos, and videos. Also, user’s usage informatio...
Sung-Bae Cho, Kyung-Joong Kim, Keum-Sung Hwang
SEFM
2005
IEEE
16 years 25 days ago
Precise Analysis of Memory Consumption using Program Logics
Memory consumption policies provide a means to control resource usage on constrained devices, and play an important role in ensuring the overall quality of software systems, and i...
Gilles Barthe, Mariela Pavlova, Gerardo Schneider
SARA
2005
Springer
16 years 22 days ago
Learning Regular Expressions from Noisy Sequences
Abstract. The presence of long gaps dramatically increases the difficulty of detecting and characterizing complex events hidden in long sequences. In order to cope with this proble...
Ugo Galassi, Attilio Giordana
SEMWEB
2004
Springer
16 years 18 days ago
ORIENT: Integrate Ontology Engineering into Industry Tooling Environment
Orient is a project to develop an ontology engineering tool that integrates into existing industry tooling environments – the Eclipse platform and the WebSphere Studio developing...
Lei Zhang, Yong Yu, Jing Lu, Chenxi Lin, Kewei Tu,...
ECOOP
2010
Springer
16 years 2 days ago
Recency Types for Analyzing Scripting Languages
Abstract. With the current surge of scripting technologies, large programs are being built with dynamically typed languages. As these programs grow in size, semantics-based tools g...
Phillip Heidegger, Peter Thiemann