Sciweavers

2542 search results - page 178 / 509
» An Operational Definition of Context
Sort
View
PRL
2006
95views more  PRL 2006»
15 years 6 months ago
Inhibition of false landmarks
Corners and junctions are landmarks characterized by the lack of differentiability in the unit tangent to the image level curve. Detectors based on differential operators are not,...
Debora Gil, Petia Radeva
ENTCS
2000
114views more  ENTCS 2000»
15 years 6 months ago
Syntactic Type Soundness for the Region Calculus
The region calculus of Tofte and Talpin is an annotated polymorphically typed lambda calculus which makes memory allocation and deallocation explicit. It is intended as an interme...
Simon Helsen, Peter Thiemann
TROB
2002
91views more  TROB 2002»
15 years 6 months ago
Time-domain passivity control of haptic interfaces
A patent pending, energy based, method is presented for controlling a haptic interface system to ensure stable contract under a wide variety of operating conditions. System stabil...
Blake Hannaford, Jee-Hwan Ryu
DMIN
2009
119views Data Mining» more  DMIN 2009»
15 years 4 months ago
Abnormal Process State Detection by Cluster Center Point Monitoring in BWR Nuclear Power Plant
This paper proposes a new method to detect abnormal process state. The method is based on cluster center point monitoring in time and is demonstrated in its application to data fro...
Jaakko Talonen, Miki Sirola
CJ
2010
190views more  CJ 2010»
15 years 4 months ago
A Methodological Construction of an Efficient Sequentially Consistent Distributed Shared Memory
A concurrent object is an object that can be concurrently accessed by several processes. Sequential consistency is a consistency criterion for such objects. Informally, it states ...
Vicent Cholvi, Antonio Fernández, Ernesto J...