5550 search results - page 770 / 1110 » Different Approaches to Proof Systems |
245
click to vote
SIMVIS
2007
15 years 8 months ago
2007
The amount of data to be represented by visualization systems requires new ideas for data processing and representation. As proposed in this contribution, this might be solved by ...
206
click to vote
IADIS
2004
15 years 8 months ago
2004
With rapid development of the Internet, e-learning system has become more and more popular. Currently, to solve the issue of sharing and reusing of teaching materials in different...
203
click to vote
IJCAI
2003
15 years 8 months ago
2003
Pervasive robotics will require, in a near future, small, light and cheap robots that exhibit complex behaviors. These demands led to the development of the M2-M4 Macaco project -...
209
click to vote
WSCG
2004
15 years 8 months ago
2004
Even after more than two decades of input devices development, many people still find the interaction with computers an uncomfortable experience. Efforts should be made to adapt c...
186
click to vote
BMCBI
2010
15 years 7 months ago
2010
Background: Primer and probe sequences are the main components of nucleic acid-based detection systems. Biologists use primers and probes for different tasks, some related to the ...