5550 search results - page 313 / 1110 » Different Approaches to Proof Systems |
196
click to vote
ERCIM
2007
15 years 6 months ago
2007
With the advent of Grid and application technologies, scientists and engineers are building more and more complex applications to manage and process large data sets, and execute s...
207
click to vote
NBIS
2010
Springer
15 years 4 months ago
2010
Springer
A new ontology-supported and hybrid recommending information system for scholars was proposed. Not only can it fast integrate specific domain documents, but also it can extract imp...
194
click to vote
EMNLP
2009
15 years 4 months ago
2009
Current system combination methods usually use confusion networks to find consensus translations among different systems. Requiring one-to-one mappings between the words in candid...
153
click to vote
ENVSOFT
2006
15 years 6 months ago
2006
This paper presents an approach that integrates a legacy component into a software system for storm sewer simulation. The legacy component employed here is the Storm Water Managem...
188
click to vote
ICPR
2002
IEEE
16 years 7 months ago
2002
IEEE
We have developed a hand gesture recognition system, based on the shape analysis of static gestures, for Human Computer Interaction purposes. Our appearance-based recognition uses...