Sciweavers

7340 search results - page 311 / 1468
» The Behavior of Tutoring Systems
Sort
View
SIAMCO
2010
153views more  SIAMCO 2010»
15 years 1 months ago
Optimal Control for an Elliptic System with Polygonal State Constraints
This work is devoted to stationary optimal control problems with polygonal constraints on the components of the state. Existence of Lagrange multipliers, of different regularity, i...
Karl Kunisch, Kewei Liang, Xiliang Lu
DICS
2006
15 years 8 months ago
Definition and Correct Refinement of Operation Specifications
Abstract. Modern incremental and iterative software engineering processes advocate to build software systems by first creating a highly simpliabstract model of the system which is ...
Thomas Baar, Slavisa Markovic, Frédé...
VLSID
2003
IEEE
253views VLSI» more  VLSID 2003»
16 years 7 months ago
High Level Synthesis from Sim-nML Processor Models
The design of modern complex embedded systems require a high level of abstraction of the design. The SimnML[1] is a specification language to model processors for such designs. Se...
Souvik Basu, Rajat Moona
FMICS
2009
Springer
16 years 1 months ago
Formal Analysis of Non-determinism in Verilog Cell Library Simulation Models
Cell libraries often contain a simulation model in a system design language, such as Verilog. These languages usually involve nondeterminism, which in turn, poses a challenge to th...
Matthias Raffelsieper, Mohammad Reza Mousavi, Jan-...
IROS
2006
IEEE
120views Robotics» more  IROS 2006»
16 years 19 days ago
Learning from Nature to Build Intelligent Autonomous Robots
Information processing within autonomous robots should follow a biomimetic approach. In contrast to traditional approaches that make intensive use of accurate measurements, numeric...
Rainer Bischoff 0002, Volker Graefe