Sciweavers

793 search results - page 70 / 159
» Input Modeling Tools for Complex Problems
Sort
View
101
Voted
FORTE
2008
15 years 2 months ago
An SMT Approach to Bounded Reachability Analysis of Model Programs
Model programs represent transition systems that are used fy expected behavior of systems at a high level of abstraction. The main application area is application-level network pro...
Margus Veanes, Nikolaj Bjørner, Alexander R...
99
Voted
CC
2007
Springer
108views System Software» more  CC 2007»
15 years 16 days ago
Communication vs. Computation
We initiate a study of tradeoffs between communication and computation in well-known communication models and in other related models. The fundamental question we investigate is t...
Prahladh Harsha, Yuval Ishai, Joe Kilian, Kobbi Ni...
ARTMED
1999
92views more  ARTMED 1999»
15 years 7 days ago
Two-Stage Machine Learning model for guideline development
We present a Two-Stage Machine Learning (ML) model as a data mining method to develop practice guidelines and apply it to the problem of dementia staging. Dementia staging in clin...
Subramani Mani, William Rodman Shankle, Malcolm B....
110
Voted
ICIP
2009
IEEE
15 years 10 months ago
On the Use of Color Appearance Modeling for Efficient Compressed-Domain Image Enhancement
In this paper we propose a compressed-domain image enhancement algorithm based on color appearance modeling. We aim at providing an efficient high-quality JPEG color image enhancem...
Maria Chatzigiorgaki, Athanassios N. Skodras
DATE
2002
IEEE
111views Hardware» more  DATE 2002»
15 years 5 months ago
A Linear-Centric Modeling Approach to Harmonic Balance Analysis
In this paper we propose a new harmonic balance simulation methodology based on a linear-centric modeling approach. A linear circuit representation of the nonlinear devices and as...
Peng Li, Lawrence T. Pileggi