Sciweavers

1142 search results - page 62 / 229
» TAST-Trademark Application Assistant
Sort
View
ICALT
2007
IEEE
15 years 6 months ago
Innovative Technologies for Learning in Science Laboratories
This paper summarizes results from two educational research Ph.D. theses carried out in recent years at the "Laboratoire de Robotique Pédagogique" of the Université de...
Frédéric Fournier, Martin Riopel
MDM
2007
Springer
147views Communications» more  MDM 2007»
15 years 6 months ago
Collaboratively Querying Sensor Networks through Handheld Devices
We envision that in some wireless sensor network applications, such as environmental monitoring, assisted living, and industrial control, handheld devices will be used from time t...
Tsz Wai Chiu, Qiong Luo
MM
2004
ACM
175views Multimedia» more  MM 2004»
15 years 5 months ago
A web based multi-display presentation system
In this demonstration, we are going to illustrate how to give a presentation using multiple displays connected to the Internet. Categories and Subject Descriptors H.4.3 [Communica...
Frank Zhao, Qiong Liu
CP
2003
Springer
15 years 5 months ago
Semi-automatic Modeling by Constraint Acquisition
Constraint programming is a technology which is now widely used to solve combinatorial problems in industrial applications. However, using it requires considerable knowledge and e...
Remi Coletta, Christian Bessière, Barry O'S...
MKM
2009
Springer
15 years 4 months ago
Formal Proof: Reconciling Correctness and Understanding
Hilbert’s concept of formal proof is an ideal of rigour for mathematics which has important applications in mathematical logic, but seems irrelevant for the practice of mathemati...
Cristian S. Calude, Christine Müller