57 search results - page 8 / 12 » Place-Boundedness for Vector Addition Systems with one zero-... |
TIFS
2010
14 years 5 months ago
2010
Face verification in the presence of age progression is an important problem that has not been widely addressed. In this paper, we study the problem by designing and evaluating dis...
100
click to vote
OSDI
2002
ACM
15 years 11 months ago
2002
ACM
Many system errors do not emerge unless some intricate sequence of events occurs. In practice, this means that most systems have errors that only trigger after days or weeks of ex...
DGO
2006
15 years 16 days ago
2006
For social science researchers, content analysis and classification of United States Congressional legislative activities has been time consuming and costly. The Library of Congre...
ACSAC
2007
IEEE
15 years 5 months ago
2007
IEEE
Instant messaging (IM) has been one of most frequently used malware attack vectors due to its popularity. Distinct from other malware, it is straightforward for IM malware to fin...
87
Voted
INFORMATICALT
2002
14 years 10 months ago
2002
Two examples of open-loop differential games are considered in the paper. Starting with simplified dynamic Duel, further it was developed to differential economic Duel modelling pr...