3710 search results - page 524 / 742 » A new calculus of contexts |
160
click to vote
EUROSEC
2010
ACM
15 years 12 months ago
2010
ACM
The prevalent use of the signature-based approach in modern intrusion detection systems (IDS) emphasizes the importance of the efficient management of the employed signature sets....
155
click to vote
COMPSAC
2003
IEEE
15 years 12 months ago
2003
IEEE
Design patterns describe solutions to recurring design problems in the development of software designs. To encourage the use of design patterns, we are investigating tool support ...
161
click to vote
CW
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper presents a distributed virtual reality environment for children called EVE— Environnements Virtuels pour Enfants. The virtual environment architecture is reactive age...
153
click to vote
FOCS
2003
IEEE
15 years 12 months ago
2003
IEEE
We consider coGapSV P√ n, a gap version of the shortest vector in a lattice problem. This problem is known to be in AM ∩coNP but is not known to be in NP or in MA. We prove th...
174
click to vote
ICDAR
2003
IEEE
15 years 12 months ago
2003
IEEE
This paper aims at automatic recognition of online handwritten mathematical expressions written on an electronic tablet. The proposed technique involves two major stages: symbol r...