Sciweavers

2558 search results - page 341 / 512
» Analysis of Generalized Pattern Searches
Sort
View
138
Voted
MASS
2010
157views Communications» more  MASS 2010»
15 years 1 months ago
Spatial extension of the Reality Mining Dataset
Data captured from a live cellular network with the real users during their common daily routine help to understand how the users move within the network. Unlike the simulations wi...
Michal Ficek, Lukas Kencl
123
Voted
ICASSP
2007
IEEE
15 years 10 months ago
Discriminating Two Types of Noise Sources using Cortical Representation and Dimension Reduction Technique
Content-based audio classification techniques have focused on classifying events that are both semantically and perceptually distinct (such as speech, music, environmental sounds...
Shiva Sundaram, Shrikanth Narayanan
127
Voted
CLEF
2009
Springer
15 years 4 months ago
UNIBA-SENSE @ CLEF 2009: Robust WSD Task
This paper presents the participation of the semantic N-levels search engine SENSE at the CLEF 2009 Ad Hoc Robust-WSD Task. During the participation at the same task of CLEF 2008,...
Pierpaolo Basile, Annalina Caputo, Giovanni Semera...
156
Voted
KBSE
2010
IEEE
15 years 2 months ago
Solving string constraints lazily
Decision procedures have long been a fixture in program analysis, and reasoning about string constraints is a key element in many program analyses and testing frameworks. Recent ...
Pieter Hooimeijer, Westley Weimer
161
Voted
ISSTA
2012
ACM
13 years 6 months ago
Residual investigation: predictive and precise bug detection
We introduce the concept of “residual investigation” for program analysis. A residual investigation is a dynamic check installed as a result of running a static analysis that ...
Kaituo Li, Christoph Reichenbach, Christoph Csalln...