Sciweavers

1227 search results - page 119 / 246
» Using Generation for Grammar Analysis and Error Detection
Sort
View
148
Voted
SERA
2004
Springer
15 years 9 months ago
NuEditor - A Tool Suite for Specification and Verification of NuSCR
NuEditor is a tool suite supporting specification and verification of software requirements written in NuSCR. NuSCR extends SCR (Software Cost Reduction) notation that has been us...
Jaemyung Cho, Junbeom Yoo, Sung Deok Cha
136
Voted
IBPRIA
2005
Springer
15 years 9 months ago
An Approach to Vision-Based Person Detection in Robotic Applications
We present an approach to vision-based person detection in robotic applications that integrates top down template matching with bottom up classifiers. We detect components of the ...
Carlos D. Castillo, Carolina Chang
128
Voted
ICSE
2008
IEEE-ACM
16 years 3 months ago
Continuous software quality supervision using SourceInventory and Columbus
Several tools and methods for source code quality assurance based on static analysis finally reached a state when they are applicable in practice and recognized by the industry. H...
Árpád Beszédes, Rudolf Ferenc...
127
Voted
ISSS
1998
IEEE
104views Hardware» more  ISSS 1998»
15 years 7 months ago
Synchronization Detection for Multi-Process Hierarchical Synthesis
Complex system specifications are often hierarchically composed of several subsystems. Each subsystem contains one or more processes. In order to provide optimization across diffe...
Oliver Bringmann, Wolfgang Rosenstiel, Dirk Reicha...
134
Voted
SPEECH
1998
118views more  SPEECH 1998»
15 years 3 months ago
Dimensionality reduction of electropalatographic data using latent variable models
We consider the problem of obtaining a reduced dimension representation of electropalatographic (EPG) data. An unsupervised learning approach based on latent variable modelling is...
Miguel Á. Carreira-Perpiñán, ...