Sciweavers

2825 search results - page 194 / 565
» Support for Object-Oriented Testing
Sort
View
ICML
2009
IEEE
16 years 5 months ago
A simpler unified analysis of budget perceptrons
The kernel Perceptron is an appealing online learning algorithm that has a drawback: whenever it makes an error it must increase its support set, which slows training and testing ...
Ilya Sutskever
ISMAR
2008
IEEE
15 years 10 months ago
ComposAR: An intuitive tool for authoring AR applications
This paper introduces ComposAR, a tool to allow a wide audience to author AR and MR applications. It is unique in that it supports both visual programming and interpretive scripti...
Hartmut Seichter, Julian Looser, Mark Billinghurst
IADIS
2008
15 years 5 months ago
Intelligent Mobile Learning Effort
This paper is a comprehensive presentation of our efforts to support mobile learning. We are developing the Intelligent Mobile Learning System which provides adaptive course and a...
Panagiotis Kalagiakos
IJCSA
2007
84views more  IJCSA 2007»
15 years 4 months ago
Real Time Model Checking Using Timed Concurrent State Machines
Timed Concurrent State Machines are an application of Alur’s Timed Automata concept to coincidence-based (rather than interleaving) CSM modeling technique. TCSM support the idea...
Wiktor B. Daszczuk
CORR
2002
Springer
128views Education» more  CORR 2002»
15 years 4 months ago
The Deductive Database System LDL++
This paper describes the LDL++ system and the research advances that have enabled its design and development. We begin by discussing the new nonmonotonic and nondeterministic cons...
Faiz Arni, KayLiang Ong, Shalom Tsur, Haixun Wang,...