320 search results - page 48 / 64 » Constructing Invariants for Hybrid Systems |
174
click to vote
TCS
2008
15 years 5 months ago
2008
This article presents formalized intuitionistic proofs for the polyhedra genus theorem, the Euler formula and a sufficient condition of planarity. They are based on a hypermap mod...
257
click to vote
ISICA
2009
Springer
16 years 15 days ago
2009
Springer
Abstract. Intrusion detection has been extensively studied in the last two decades. However, most existing intrusion detection techniques detect limited number of attack types and ...
183
click to vote
BIRTHDAY
2003
Springer
15 years 9 months ago
2003
Springer
Aspects are intended to add needed functionality to a system or to treat concerns of the system by augmenting or changing the existing code in a manner that cross-cuts the usual c...
190
click to vote
JMIV
1998
15 years 5 months ago
1998
Linear scale-space theory provides a useful framework to quantify the differential and integral geometry of spatio-temporal input images. In this paper that geometry comes about by...
158
click to vote
ICPR
2004
IEEE
16 years 7 months ago
2004
IEEE
The performance of face recognition systems that use twodimensional (2D) images is dependent on consistent conditions such as lighting, pose and facial expression. We are developi...