10289 search results - page 245 / 2058 » Standard bases in K |
181
click to vote
PGLDB
2003
15 years 8 months ago
2003
Effective e-learning environments should promote high cooperation. Workflow techniques can certainly contribute to such effectiveness because, in these environments, the creation ...
149
click to vote
CDC
2008
IEEE
15 years 7 months ago
2008
IEEE
— For mobile platforms with steerable standard wheels it is necessary to precisely coordinate rotation and steering angle of their wheels. Especially for redundantly actuated pla...
168
click to vote
RECSYS
2010
ACM
15 years 6 months ago
2010
ACM
Since the development of the comparably simple neighborhood-based methods in the 1990s, a plethora of techniques has been developed to improve various aspects of collaborative fil...
230
click to vote
IAJIT
2008
15 years 6 months ago
2008
: The recent explosion in digital video storage and delivery has presented strong motivation for high performance video compression solutions. An efficient video compression techni...
139
click to vote
ENTCS
2006
15 years 6 months ago
2006
The standard translation of a Bounded Model Checking (BMC) instance into a satisfiability problem, (a.k.a SAT), might produce misleading results in the case when the model under v...