13383 search results - page 2434 / 2677 » Abstractions from proofs |
97
Voted
CONSTRAINTS
2006
15 years 26 days ago
2006
Abstract. The heavy-tailed phenomenon that characterises the runtime distributions of backtrack search procedures has received considerable attention over the past few years. Some ...
107
Voted
EXPERT
2006
15 years 25 days ago
2006
on abstract principles that you can't easily apply in a formal, deductive fashion. So, the favorite tools of logicians and mathematicians, such as firstorder logic, aren'...
84
Voted
IEEESP
2006
15 years 25 days ago
2006
abstraction a use case model offers makes it an appropriate startingpointforsoftwaresecurityanalysis and design activities. In contrast, a misuse case describes potential system be...
112
click to vote
INTERNET
2008
15 years 24 days ago
2008
through suitable abstractions and tools is a viable option for improving servicebased computations. T he past few years have witnessed end users' increasing involve ment in th...
113
Voted
IR
2008
15 years 24 days ago
2008
Abstract. Document length is widely recognized as an important factor for adjusting retrieval systems. Many models tend to favor the retrieval of either short or long documents and...