Sciweavers

576 search results - page 89 / 116
» On Triangulating Dynamic Graphical Models
Sort
View
DFG
2004
Springer
14 years 1 months ago
Verification of PLC Programs Given as Sequential Function Charts
Programmable Logic Controllers (PLC) are widespread in the manufacturing and processing industries to realize sequential procedures and to avoid safety-critical states. For the spe...
Nanette Bauer, Sebastian Engell, Ralf Huuck, Sven ...
WEBNET
1997
13 years 11 months ago
Easy Ed: An Integration of Technologies for Multimedia Education
–The accessibility of the World Wide Web and its flexibility for conveying digital information in various forms makes it a convenient mode of communication for education. In thi...
Gulrukh Ahanger, Thomas D. C. Little
LREC
2010
211views Education» more  LREC 2010»
13 years 11 months ago
EcoLexicon: An Environmental TKB
EcoLexicon, a multilingual knowledge resource on the environment, provides an internally coherent information system covering a wide range of specialized linguistic and conceptual...
Arianne Reimerink, Pilar León Araúz,...
AVI
2004
13 years 11 months ago
Integrating expanding annotations with a 3D explosion probe
Understanding complex 3D virtual models can be difficult, especially when the model has interior components not initially visible and ancillary text. We describe new techniques fo...
Henry Sonnet, M. Sheelagh T. Carpendale, Thomas St...
WINE
2009
Springer
171views Economy» more  WINE 2009»
14 years 4 months ago
The Impact of Social Ignorance on Weighted Congestion Games
We consider weighted linear congestion games, and investigate how social ignorance, namely lack of information about the presence of some players, affects the inefficiency of pure...
Dimitris Fotakis, Vasilis Gkatzelis, Alexis C. Kap...