Sciweavers

1606 search results - page 123 / 322
» Methodological Approach for Developing a KMS: A Case Study
Sort
View
151
Voted
TOOLS
2009
IEEE
15 years 11 months ago
Guaranteeing Syntactic Correctness for All Product Line Variants: A Language-Independent Approach
A software product line (SPL) is a family of related program variants in a well-defined domain, generated from a set of features. A fundamental difference from classical applicati...
Christian Kästner, Sven Apel, Salvador Trujil...
OOPSLA
2007
Springer
15 years 10 months ago
Modular typestate checking of aliased objects
Objects often define usage protocols that clients must follow in order for these objects to work properly. Aliasing makes it notoriously difficult to check whether clients and i...
Kevin Bierhoff, Jonathan Aldrich
123
Voted
ICASSP
2009
IEEE
15 years 2 months ago
On acoustic surveillance of hazardous situations
The present study presents a practical methodology for automatic space monitoring based solely on the perceived acoustic information. We consider the case where atypical situation...
Stavros Ntalampiras, Ilyas Potamitis, Nikos Fakota...
OL
2011
177views Neural Networks» more  OL 2011»
14 years 7 months ago
Exploiting vector space properties to strengthen the relaxation of bilinear programs arising in the global optimization of proce
In this paper we present a methodology for finding tight convex relaxations for a special set of quadratic constraints given by bilinear and linear terms that frequently arise in ...
Juan P. Ruiz, Ignacio E. Grossmann
HICSS
2007
IEEE
119views Biometrics» more  HICSS 2007»
15 years 11 months ago
Collection of U.S. Extremist Online Forums: A Web Mining Approach
Extremists’ exploitation of computer-mediated communications such as online forums has recently gained much attention from academia and the government. However, due to the cover...
Yilu Zhou, Jialun Qin, Guanpi Lai, Hsinchun Chen