5550 search results - page 833 / 1110 » Different Approaches to Proof Systems |
229
click to vote
GISCIENCE
2010
Springer
15 years 7 months ago
2010
Springer
The categorization of our environment into feature types is an essential prerequisite for cartography, geographic information retrieval, routing applications, spatial decision supp...
172
click to vote
JUCS
2008
15 years 6 months ago
2008
: Authoring ITS domain models is a difficult task requiring many skills. We explored whether modeling ontology reduces the problem by giving the students of an e-learning summer sc...
191
click to vote
ISCI
2002
15 years 6 months ago
2002
Media data are VBR in nature due to the coding and compression technologies applied. As VBR streams are complicated for network management, different approaches were proposed to s...
157
click to vote
TSMC
2002
15 years 6 months ago
2002
This paper describes the dynamic control of a 3 degree of freedom (DOF) finger emulating a human finger for reaching a desired fingertip position in space. The control consists of ...
211
click to vote
MASCOTS
2010
15 years 5 months ago
2010
—Flash-based Solid-State Drives (SSDs) have become a promising alternative to magnetic Hard Disk Drives (HDDs) thanks to the large improvements in performance, power consumption,...