13500 search results - page 2641 / 2700 » Improved analysis of D |
111
click to vote
PEPM
2010
ACM
14 years 12 months ago
2010
ACM
Software engineering, automated reasoning, rule-based programming or specifications often use rewriting systems for which termination, among other properties, may have to be ensur...
103
click to vote
CIKM
2007
Springer
14 years 11 months ago
2007
Springer
One aspect in which retrieving named entities is different from retrieving documents is that the items to be retrieved – persons, locations, organizations – are only indirect...
CONEXT
2008
ACM
14 years 11 months ago
2008
ACM
Chronic network conditions are caused by performance impairing events that occur intermittently over an extended period of time. Such conditions can cause repeated performance deg...
CSCW
2008
ACM
14 years 11 months ago
2008
ACM
Social networks are popular for online communities. This paper evaluates the risk of sophisticated context-aware spam that could result from information sharing on social networks...
ISLPED
2007
ACM
14 years 11 months ago
2007
ACM
RTL power macromodeling is a mature research topic with a variety of equation and table-based approaches. Despite its maturity, macromodeling is not yet widely accepted as an indu...