Sciweavers

5718 search results - page 924 / 1144
» Modeling Rule Precision
Sort
View
197
Voted
ISVC
2009
Springer
16 years 1 months ago
Visualizing Arcs of Implicit Algebraic Curves, Exactly and Fast
Given a Cylindrical Algebraic Decomposition of an implicit algebraic curve, visualizing distinct curve arcs is not as easy as it stands because, despite the absence of singularitie...
Pavel Emeliyanenko, Eric Berberich, Michael Sagral...
CDC
2008
IEEE
140views Control Systems» more  CDC 2008»
16 years 1 months ago
Optimal control of a voice-coil-motor with Coulombic friction
— The voice-coil-motor is a widely used mechatronic device, which represents a typical electrodynamic actuator for machine tool axes, bonding machines and hydraulic/pneumatic val...
Bahne Christiansen, Helmut Maurer, Oliver Zirn
179
Voted
CSFW
2008
IEEE
16 years 1 months ago
Composition of Password-Based Protocols
We investigate the composition of protocols that share a common secret. This situation arises when users employ the same password on different services. More precisely we study w...
Stéphanie Delaune, Steve Kremer, Mark Ryan
186
Voted
ICIW
2008
IEEE
16 years 1 months ago
Web Contents Tracking by Learning of Page Grammars
A significant fraction of Web data is available only for short periods of time. We consider methods to keep track and to record such dynamic information automatically. The main p...
Dirk Kukulenz, Christoph Reinke, Nils Hoeller
197
Voted
ICPP
2008
IEEE
16 years 1 months ago
Scalable Techniques for Transparent Privatization in Software Transactional Memory
—We address the recently recognized privatization problem in software transactional memory (STM) runtimes, and introduce the notion of partially visible reads (PVRs) to heuristic...
Virendra J. Marathe, Michael F. Spear, Michael L. ...