Sciweavers

1809 search results - page 217 / 362
» Using GDE in Educational Systems
Sort
View
CORR
2007
Springer
84views Education» more  CORR 2007»
15 years 4 months ago
Undirected Graphs of Entanglement Two
Entanglement is a complexity measure of directed graphs that origins in fixed point theory. This measure has shown its use in designing efficient algorithms to verify logical prop...
Walid Belkhir, Luigi Santocanale
CORR
2007
Springer
64views Education» more  CORR 2007»
15 years 4 months ago
Generating models for temporal representations
We discuss the use of model building for temporal representations. We chose Polish to illustrate our discussion because it has an interesting aspectual system, but the points we w...
Patrick Blackburn, Sébastien Hinderer
CORR
2007
Springer
58views Education» more  CORR 2007»
15 years 4 months ago
Electromechanical Reliability Testing of Three-Axial Silicon Force Sensors
This paper reports on the systematic electromechanical characterization of a new three-axial force sensor used in dimensional metrology of micro components. The silicon based sens...
Stefan Spinner, J. Bartholomeyczik, Bernd Becker, ...
SIGCSE
2005
ACM
109views Education» more  SIGCSE 2005»
15 years 10 months ago
Exploring XML for data exchange in the context of an undergraduate database curriculum
The relationship between XML and database management systems has become an important topic for coverage at the undergraduate level. This paper presents an approach to teaching the...
Suzanne W. Dietrich, Susan Darling Urban, Hua Ma, ...
EL
2008
184views more  EL 2008»
15 years 4 months ago
Breedbot: an evolutionary robotics application in digital content
Research paper Purpose of this paper This paper describe an integrated hardware/software system based on Evolutionary Robotics and its application in Edutainment context. Design/me...
Orazio Miglino, Onofrio Gigliotta, Michela Pontico...