3778 search results - page 508 / 756 » Erdos-Ko-Rado for three sets |
204
click to vote
ISMAR
2006
IEEE
16 years 21 days ago
2006
IEEE
Magic Lens is a small inset window embedded in a large context view, which provides an alternative view to the region of interest selected from the context view. This metaphor is ...
193
click to vote
LICS
2006
IEEE
16 years 21 days ago
2006
IEEE
We prove that the modal mu-calculus model-checking problem for (ranked and ordered) node-labelled trees that are generated by order-n recursion schemes (whether safe or not, and w...
152
click to vote
SCAM
2006
IEEE
16 years 20 days ago
2006
IEEE
Traditional program slicing requires two parameters: a program location and a variable, or perhaps a set of variables, of interest. Stop-list slicing adds a third parameter to the...
171
click to vote
SP
2006
IEEE
16 years 20 days ago
2006
IEEE
In this paper we explore the problem of creating vulnerability signatures. A vulnerability signature matches all exploits of a given vulnerability, even polymorphic or metamorphic...
173
click to vote
ELPUB
2006
ACM
16 years 19 days ago
2006
ACM
By the end of this year visitors to the Flemish town of Mechelen can discover the city with the help of the new CityInMyPocket walking guide. Instead of following a person or a bo...