Sciweavers

3954 search results - page 659 / 791
» Image-based Model Completion
Sort
View
97
Voted
ENDM
2006
69views more  ENDM 2006»
15 years 2 months ago
Timetabling problems at the TU Eindhoven
The students of the Industrial Design department at the TU Eindhoven are allowed to design part of their curriculum by selecting courses from a huge course pool. They do this by ha...
John van den Broek, Cor A. J. Hurkens, Gerhard J. ...
108
Voted
ENTCS
2006
109views more  ENTCS 2006»
15 years 2 months ago
Incremental Verification for On-the-Fly Controller Synthesis
The CIRCA system automatically synthesizes hard real-time discrete event controllers from plant and environment descriptions. CIRCA's automatically-synthesized controllers pr...
David J. Musliner, Michael J. S. Pelican, Robert P...
99
Voted
CAGD
2007
86views more  CAGD 2007»
15 years 2 months ago
A general geometric construction of coordinates in a convex simplicial polytope
Barycentric coordinates are a fundamental concept in computer graphics and geometric modeling. We extend the geometric construction of Floater’s mean value coordinates [8,11] to...
Tao Ju, Peter Liepa, Joe D. Warren
126
Voted
FUIN
2006
89views more  FUIN 2006»
15 years 2 months ago
(Tissue) P Systems with Unit Rules and Energy Assigned to Membranes
We introduce a new variant of membrane systems where the rules are directly assigned to membranes and, moreover, every membrane carries an energy value that can be changed during a...
Artiom Alhazov, Rudolf Freund, Alberto Leporati, M...
99
Voted
IJNSEC
2008
69views more  IJNSEC 2008»
15 years 2 months ago
Proof of Forward Security for Password-based Authenticated Key Exchange
Recently, M. Abdalla et al. proposed a slightly different variant of AuthA, based on the scheme proposed by E. Bresson et al., and provided the first complete proof of forward-sec...
Shuhua Wu, Yuefei Zhu