Sciweavers

97 search results - page 12 / 20
» An Integrated Environment For Lexical Analyses
Sort
View
PUK
2000
14 years 10 months ago
Towards agent-based multi-site scheduling
Scheduling problems are usually treated within single plant environments or within companies with several production locations. Due to the globalization of markets companies can no...
Jürgen Sauer, Tammo Freese, Thorsten Teschke
70
Voted
PSYCHNOLOGY
2007
108views more  PSYCHNOLOGY 2007»
14 years 9 months ago
On Line Collaboration for Building a Teacher Professional Identity
In this paper it is our intention to discuss a Teacher Education proposal that uses an on line asynchronous learning environment to develop collaborative practices and to enhance ...
Valentina Grion, Bianca Maria Varisco
FM
1999
Springer
161views Formal Methods» more  FM 1999»
15 years 1 months ago
Combining Theorem Proving and Continuous Models in Synchronous Design
Support for system speci cation in terms of modelling and simulation environments has become a common practice in safety-critical applications. Also, a current trend is the automat...
Simin Nadjm-Tehrani, Ove Åkerlund
105
Voted
JIRS
2010
153views more  JIRS 2010»
14 years 4 months ago
Flyphone: Visual Self-Localisation Using a Mobile Phone as Onboard Image Processor on a Quadrocopter
An unmanned aerial vehicle (UAV) needs to orient itself in its operating environment to fly autonomously. Localisation methods based on visual data are independent of erroneous GPS...
Sara Erhard, Karl Engelbert Wenzel, Andreas Zell
ECBS
1999
IEEE
138views Hardware» more  ECBS 1999»
15 years 1 months ago
Multi-Domain Surety Modeling and Analysis for High Assurance Systems
Engineering systems are becoming increasingly complex as state of the art technologies are incorporated into designs. Surety modeling and analysis is an emerging science which per...
James Davis, Jason Scott, Janos Sztipanovits, Marc...