13500 search results - page 2641 / 2700 » Improved analysis of D |
139
click to vote
PEPM
2010
ACM
15 years 2 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...
123
Voted
CIKM
2007
Springer
15 years 2 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...
98
Voted
CONEXT
2008
ACM
15 years 2 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...
117
Voted
CSCW
2008
ACM
15 years 2 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...
110
Voted
ISLPED
2007
ACM
15 years 2 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...