1128 search results - page 218 / 226 » Little Engines of Proof |
162
click to vote
EIS
2011
14 years 4 months ago
2011
Most software engineering techniques that deal with software products customization are based on anticipation: The software designer has to foresee, somehow, the future needs for ...
115
click to vote
SIGOPS
2011
14 years 4 months ago
2011
While application performance and power-efficiency are both important, application correctness is even more important. In other words, if the application is misbehaving, it is li...
101
click to vote
WWW
2011
ACM
14 years 4 months ago
2011
ACM
Recently, a number of algorithms have been proposed to obtain hierarchical structures — so-called folksonomies — from social tagging data. Work on these algorithms is in part ...
JOCN
2010
14 years 4 months ago
2010
Cognitive neuroscientists habitually deny that functional neuroimaging can furnish causal information about the relationship between brain events and behavior. However, imaging st...
106
click to vote
IRFC
2011
Springer
14 years 24 days ago
2011
Springer
Much progress has recently been made in assisting a user in the search process, be it Web search where the big search engines have now all incorporated more interactive features or...