Sciweavers

5333 search results - page 383 / 1067
» Optimizing Computer System Configurations
Sort
View
FORMATS
2006
Springer
15 years 8 months ago
Static Analysis for State-Space Reduction of Polygonal Hybrid Systems
Polygonal hybrid systems (SPDI) are a subclass of planar hybrid automata which can be represented by piecewise constant differential inclusions. The reachability problem as well as...
Gordon J. Pace, Gerardo Schneider
GI
2004
Springer
15 years 10 months ago
Static Safety Analysis of UML Action Semantics for Critical Systems Development
The Action Semantics for UML provides a standard and platform independent way to describe the behavior of methods and executable actions in object-oriented system design prior to i...
Zsigmond Pap, Dániel Varró
ICNC
2010
Springer
15 years 3 months ago
A hybrid intelligent early warning system for predicting economic crises: The case of China
—This paper combines artificial neural networks (ANN), fuzzy optimization and time-series econometric models in one unified framework to form a hybrid intelligent early warning...
Dongwei Su, Xingxing He
DSN
2009
IEEE
15 years 11 months ago
Spam detection in voice-over-IP calls through semi-supervised clustering
In this paper, we present an approach for detection of spam calls over IP telephony called SPIT in VoIP systems. SPIT detection is different from spam detection in email in that t...
Yu-Sung Wu, Saurabh Bagchi, Navjot Singh, Ratsamee...
TABLETOP
2007
IEEE
15 years 11 months ago
Reading Revisited: Evaluating the Usability of Digital Display Surfaces for Active Reading Tasks
A number of studies have shown that paper holds several advantages over computers for reading tasks. However, these studies were carried out several years ago, and since that time...
Meredith Ringel Morris, A. J. Bernheim Brush, Bria...