5550 search results - page 198 / 1110 » Different Approaches to Proof Systems |
176
click to vote
CLEF
2007
Springer
16 years 21 days ago
2007
Springer
In our participation in this CLEF evaluation campaign, the first objective is to propose and evaluate various indexing and search strategies for the Czech language in order to hop...
149
click to vote
BMCBI
2008
15 years 6 months ago
2008
Background: Gene pathway can be defined as a group of genes that interact with each other to perform some biological processes. Along with the efforts to identify the individual g...
188
click to vote
CN
2008
15 years 5 months ago
2008
Today's networks are becoming increasingly complex and the ability to effectively and efficiently operate and manage them is ever more challenging. Ways to provide end-to-end...
167
click to vote
JSS
2011
14 years 9 months ago
2011
Location-based services have attracted the attention of important research in the field of mobile computing. Specifically, different mechanisms have been proposed to process loc...
163
click to vote
AIEDU
2007
15 years 6 months ago
2007
Research efforts focused on developing "active reports" are currently underway. Active reports are designed to foster communication among teachers, students, and parents ...