320 search results - page 41 / 64 » Constructing Invariants for Hybrid Systems |
175
click to vote
CLEF
2009
Springer
15 years 3 months ago
2009
Springer
Our group within the University of Amsterdam participated in the large-scale visual concept detection task of ImageCLEF 2009. Our experiments focus on increasing the robustness of...
195
click to vote
SCP
1998
15 years 5 months ago
1998
A central challenge in computer science and knowledge representation is the integration of conceptual frameworks for continuous and discrete change, as exemplified by the theory ...
161
click to vote
PODC
1997
ACM
15 years 10 months ago
1997
ACM
Replicated services accessed via quorums enable each access to be performed at only a subset (quorum) of the servers and achieve consistency across accesses by requiring any two qu...
152
click to vote
PLDI
2009
ACM
16 years 21 days ago
2009
ACM
In this paper, we initiate a formal study of security on Android: Google’s new open-source platform for mobile devices. Specifically, we present a core typed language to descri...
156
click to vote
HICSS
2010
IEEE
16 years 23 days ago
2010
IEEE
This paper introduces a new architecture for automating the generalization of program structure and the recognition of common patterns in the area of malware analysis. By using ma...