22128 search results - page 191 / 4426 » Research in Structural Computing |
121
click to vote
ACMDIS
2006
ACM
15 years 9 months ago
2006
ACM
Recent research suggests design pre-patterns, structured collections of evidence-based research and design knowledge, provide a useful resource for design activities in emerging a...
124
click to vote
MPC
1995
Springer
15 years 6 months ago
1995
Springer
PVS is a highly automated framework for speci cation and veri cation. We show how the language and deduction features of PVS can be used to formalize, mechanize, and apply some us...
156
click to vote
CVPR
2008
IEEE
16 years 5 months ago
2008
IEEE
We introduce spatial PACT (Principal component Analysis of Census Transform histograms), a new representation for recognizing instances and categories of places or scenes. Both pl...
168
Voted
GCCB
2006
15 years 6 months ago
2006
During the last few years more and more functionalities of RNA have been discovered that were previously thought of being carried out by proteins alone. One of the most striking di...
108
click to vote
ACL
2008
15 years 4 months ago
2008
Natural Language Processing (NLP) for Information Retrieval has always been an interesting and challenging research area. Despite the high expectations, most of the results indica...