1422 search results - page 183 / 285 » Complementation in Abstract Interpretation |
175
Voted
DMIN
2008
15 years 5 months ago
2008
Abstract-- In this paper, we propose an adaptive linear approach for time series modeling and steam line leakage detection. Weighted recursive least squares (WRLS) method is used f...
127
click to vote
FMOODS
2008
15 years 5 months ago
2008
This paper proposes a semantics-based automatic null pointer analysis for inferring non-null annotations of fields in objectoriented programs. The analysis is formulated for a mini...
141
Voted
HCI
2007
15 years 5 months ago
2007
Abstract. In this paper, we address the task of affect recognition from text messaging. In order to sense and interpret emotional information expressed through written language, ru...
158
Voted
IM
2007
15 years 5 months ago
2007
Abstract— Software components embedded in ubiquitous systems, especially those using wireless networking, are subject to unpredictable behaviors inherent to using these systems i...
101
click to vote
MOBIS
2008
15 years 5 months ago
2008
Abstract: The design of effective indicators and indicator systems requires a profound understanding of the relevant business context. Numerous relations and dependencies within an...