Sciweavers

1429 search results - page 151 / 286
» An Overview of the Annex System
Sort
View
SIGCSE
2008
ACM
192views Education» more  SIGCSE 2008»
15 years 6 months ago
Enhancing learning management systems to better support computer science education
Many individual instructors--and, in some cases, entire universities--are gravitating towards the use of comprehensive learning management systems (LMSs), such as Blackboard and M...
Guido Rößling, Mike Joy, Andrés ...
AAAI
2007
15 years 8 months ago
MasDISPO: A Multiagent Decision Support System for Steel Production and Control
In the majority of cases, steel production constitutes the inception of the Supply Chains they are involved just as in automotive clusters or aerospace. Steel manufacturing compan...
Sven Jacobi, Esteban León-Soto, Cristi&aacu...
BIB
2010
129views more  BIB 2010»
15 years 6 months ago
Pathway Tools version 13.0: integrated software for pathway/genome informatics and systems biology
PathwayTools is a production-quality software environment for creating a type of model-organism database called a Pathway/Genome Database (PGDB). A PGDB such as EcoCyc integrates ...
Peter D. Karp, Suzanne M. Paley, Markus Krummenack...
CADE
1998
Springer
15 years 10 months ago
System Description: leanK 2.0
Abstract. leanK is a "lean", i.e., extremely compact, Prolog implementation of a free variable tableau calculus for propositional modal logics. leanK 2.0 includes additio...
Bernhard Beckert, Rajeev Goré
PRESENCE
2007
121views more  PRESENCE 2007»
15 years 6 months ago
The Body Surface as a Communication System: The State of the Art after 50 Years
The suggestion that the body surface might be used as an additional means of presenting information to human-machine operators has been around in the literature for nearly 50 year...
Alberto Gallace, Hong Z. Tan, Charles Spence