Sciweavers

1249 search results - page 115 / 250
» Limitations of the Even-Mansour Construction
Sort
View
ICALT
2003
IEEE
15 years 6 months ago
Constructivism vs. Objectivism: Where is difference for Designers of e-Learning Environments?
This position paper discusses different philosophical views of learning and the consequences of these different epistemologies on the design of online learning environments. Acade...
Miguel Baptista Nunes, Maggie McPherson
AI
2003
Springer
15 years 6 months ago
Summarizing Web Sites Automatically
This research is directed towards automating the Web Site summarization task. To achieve this objective, an approach, which applies machine learning and natural language processing...
Yongzheng Zhang, A. Nur Zincir-Heywood, Evangelos ...
HYBRID
2003
Springer
15 years 6 months ago
Model Checking LTL over Controllable Linear Systems Is Decidable
Abstract. The use of algorithmic verification and synthesis tools for hybrid systems is currently limited to systems exhibiting simple continuous dynamics such as timed automata o...
Paulo Tabuada, George J. Pappas
ACSAC
2002
IEEE
15 years 6 months ago
Malicious Code Detection for Open Firmware
Malicious boot firmware is a largely unrecognized but significant security risk to our global information infrastructure. Since boot firmware executes before the operating syst...
Frank Adelstein, Matthew Stillerman, Dexter Kozen
HAPTICS
2002
IEEE
15 years 6 months ago
A Tactile Shape Display Using RC Servomotors
Tactile displays are used to convey small-scale force and shape information to the fingertip. We describe a 6 x 6 tactile shape display design that is low in cost and easily const...
Christopher R. Wagner, Susan J. Lederman, Robert D...