Sciweavers

2438 search results - page 155 / 488
» Consistent Gradient Operators
Sort
View
IPMU
2010
Springer
14 years 8 months ago
Color Recognition Enhancement by Fuzzy Merging
This paper deals with color matching in a wood quality control problem. The main difficulty consists in the recognition of gradual color in an industrial context. The wood, which i...
Vincent Bombardier, Emmanuel Schmitt, Patrick Char...
DLOG
2009
14 years 7 months ago
Generalized Closed World Reasoning in Description Logics with Extended Domain Closure
Abstract. Generalized closed world reasoning allows for the assumption of a specified maximal set of negated atomic assertions retaining the consistency of an indefinite knowledge ...
Oliver Gries
CORR
2010
Springer
149views Education» more  CORR 2010»
14 years 7 months ago
Hallway Monitoring: Distributed Data Processing with Wireless Sensor Networks
We present a sensor network testbed that monitors a hallway. It consists of 120 load sensors and 29 passive infrared sensors (PIRs), connected to 30 wireless sensor nodes. There ar...
Tobias Baumgartner, Sándor P. Fekete, Tom K...
ESOP
2010
Springer
15 years 7 months ago
Parameterized Memory Models and Concurrent Separation Logic
Formal reasoning about concurrent programs is usually done with the assumption that the underlying memory model is sequentially consistent, i.e. the execution outcome is equivalen...
Rodrigo Ferreira, Xinyu Feng and Zhong Shao
VISUALIZATION
1997
IEEE
15 years 2 months ago
Simplifying polygonal models using successive mappings
: We present the use of mapping functions to automatically generate levels of detail with known error bounds for polygonal models. We develop a piece-wise linear mapping function f...
Jonathan D. Cohen, Dinesh Manocha, Marc Olano