Sciweavers

176 search results - page 25 / 36
» urban 2008
Sort
View
AMC
2008
111views more  AMC 2008»
14 years 10 months ago
Chemical agent detector placement methodology
Terrorism is a threat to global peace in our world today and in the future this terrorist threat is surely going to be important. Global terrorist groups have highly sophisticated...
Cevriye Gencer, Emel Kizilkaya Aydogan, Abdullah S...
TITS
2008
112views more  TITS 2008»
14 years 10 months ago
An Efficient Approach to Onboard Stereo Vision System Pose Estimation
Abstract--This paper presents an efficient technique for estimating the pose of an onboard stereo vision system relative to the environment's dominant surface area, which is s...
Angel Domingo Sappa, Fadi Dornaika, Daniel Ponsa, ...
97
Voted
MICS
2008
129views more  MICS 2008»
14 years 9 months ago
ATP-based Cross-Verification of Mizar Proofs: Method, Systems, and First Experiments
Mizar is a proof assistant used for formalization and mechanical verification of mathematics. The main use of Mizar is in the development of the Mizar Mathematical Library (MML), i...
Josef Urban, Geoff Sutcliffe
DKE
2007
116views more  DKE 2007»
14 years 10 months ago
A concurrent rule scheduling algorithm for active rules
The use of rules in a distributed environment creates new challenges for the development of active rule execution models. In particular, since a single event can trigger multiple ...
Ying Jin, Susan Darling Urban, Suzanne W. Dietrich
84
Voted
TCAD
2008
119views more  TCAD 2008»
14 years 10 months ago
Bridging Fault Test Method With Adaptive Power Management Awareness
Abstract--A key design constraint of circuits used in handheld devices is the power consumption, mainly due to battery life limitations. Adaptive power management (APM) techniques ...
S. Saqib Khursheed, Urban Ingelsson, Paul M. Rosin...