1941 search results - page 332 / 389 » Reasoning about Computations Using Two-Levels of Logic |
158
Voted
KSEM
2010
Springer
15 years 1 months ago
2010
Springer
Web 2.0 is much more than adding a nice facade to old web applications rather it is a new way of thinking about software architecture of Rich Internet Applications (RIA). In compar...
223
Voted
AC
2005
Springer
15 years 3 months ago
2005
Springer
Artificial intelligence has been an active branch of research for computer scientists and psychologists for 50 years. The concept of mimicking human intelligence in a computer fue...
114
Voted
NIPS
2004
15 years 4 months ago
2004
Simple lexicographic decision heuristics that consider cues one at a time in a particular order and stop searching for cues as soon as a decision can be made have been shown to be...
154
Voted
BMCBI
2008
15 years 3 months ago
2008
To address the challenges of information integration and retrieval, the computational genomics community increasingly has come to rely on the methodology of creating annotations o...
147
click to vote
IUI
2005
ACM
15 years 9 months ago
2005
ACM
Every program tells a story. Programming, then, is the art of constructing a story about the objects in the program and what they do in various situations. So-called programming l...