5227 search results - page 300 / 1046 » Constructing New Media |
222
Voted
ICML
2005
IEEE
16 years 8 months ago
2005
IEEE
In this paper we describe a new method to reduce the complexity of support vector machines by reducing the number of necessary support vectors included in their solutions. The red...
201
click to vote
SPIN
2009
Springer
16 years 2 months ago
2009
Springer
This paper introduces a new model checking algorithm that searches for non-progress cycles, used mainly to check for livelocks. The algorithm performs an incremental depth-first s...
190
click to vote
ISMAR
2003
IEEE
16 years 23 days ago
2003
IEEE
Mediated reality describes the concept of filtering our vision of reality, typically using a head-mounted video mixing display. We can redefine this idea in a more constructive ...
196
Voted
ASWEC
2000
IEEE
15 years 12 months ago
2000
IEEE
The aim of the paper is to present the results of research into Component-Based software development by providing a specification mechanism allowing searching for components in a ...
178
click to vote
ITS
2000
Springer
15 years 11 months ago
2000
Springer
This paper reports a formative analysis of a Math Modeling Tool in the Algebra II Cognitive Tutor. This tutor is designed to support algebraic reasoning about real world problems. ...