535 search results - page 35 / 107 » Do we need dependent types |
IPPS
2003
IEEE
14 years 1 months ago
2003
IEEE
This paper presents a technique, called loop dissevering, to temporally partitioning any type of loop presented in programming languages. The technique can be used in the presence...
JMLR
2010
13 years 2 months ago
2010
Classification problems with a very large or unbounded set of output categories are common in many areas such as natural language and image processing. In order to improve accurac...
IAAI
2011
12 years 7 months ago
2011
After successfully developing a model-based online planner for the multi-engine hyper-modular prototype printer at PARC, we began investigating other applications with similar cha...
TKDE
2002
13 years 7 months ago
2002
Preventive measures sometimes fail to deflect malicious attacks. In this paper, we adopt an information warfare perspective, which assumes success by the attacker in achieving part...
INFOCOM
2005
IEEE
14 years 1 months ago
2005
IEEE
— It is a commonly held belief that IPv6 provides greater security against random-scanning worms by virtue of a very sparse address space. We show that an intelligent worm can ex...