11374 search results - page 113 / 2275 » Demonstration of the CROSSMARC System |
156
click to vote
FORMATS
2003
Springer
15 years 11 months ago
2003
Springer
Testing is the primary software validation technique used by industry today, but remains ad hoc, error prone, and very expensive. A promising improvement is to automatically genera...
201
click to vote
ICC
2007
IEEE
15 years 10 months ago
2007
IEEE
In this paper we present a multiuser MIMO experimental system and the corresponding indoor measurement results that demonstrate power of distributed and coherentlycoordinated downl...
197
click to vote
EDM
2010
15 years 6 months ago
2010
This poster will describe the Learner Interaction Monitoring System (LiMS), designed to capture data demonstrating learner online engagement with course materials. The poster prese...
176
click to vote
IROS
2007
IEEE
16 years 25 days ago
2007
IEEE
— In this work, teleoperated nanomanipulation with force feedback is demonstrated by using an atomic force microscope on the slave side and a haptic device on the master side. Th...
137
click to vote
ENTCS
2002
15 years 6 months ago
2002
The HM(X) framework is a constraint-based type framework with built-in letpolymorphism. This paper establishes purely syntactic type soundness for the framework, treating an exten...