Sciweavers

972 search results - page 117 / 195
» Reasoning with Conditional Time-Intervals
Sort
View
JITECH
2006
70views more  JITECH 2006»
13 years 9 months ago
Using coevolutionary and complexity theories to improve IS alignment: a multi-level approach
The misalignment of information systems (IS) components with the rest of an organization remains a critical and chronic unsolved problem in today's complex and turbulent worl...
Hind Benbya, Bill McKelvey
ENTCS
2007
116views more  ENTCS 2007»
13 years 9 months ago
A Logical Characterisation of Static Equivalence
The work of Abadi and Fournet introduces the notion of a frame to describe the knowledge of the environment of a cryptographic protocol. Frames are lists of terms; two frames are ...
Hans Hüttel, Michael D. Pedersen
ROBOTICA
2006
116views more  ROBOTICA 2006»
13 years 9 months ago
Hybrid velocity/force control for robot navigation in compliant unknown environments
We combine a "hybrid" force/position control scheme with a potential field approach into a novel method for collision recovery and navigation in unknown environments. It...
Dushyant Palejiya, Herbert G. Tanner
TROB
2008
113views more  TROB 2008»
13 years 9 months ago
Occam's Razor Applied to Network Topology Inference
We present a method for inferring the topology of a sensor network given nondiscriminating observations of activity in the monitored region. This is accomplished based on no prior ...
Dimitri Marinakis, Gregory Dudek
TCOM
2010
68views more  TCOM 2010»
13 years 7 months ago
Convergence Analysis of Downstream VDSL Adaptive Multichannel Partial FEXT Cancellation
—In this paper we analyze an adaptive downstream multichannel VDSL precoder that is based on error signal feedback. The analysis presents sufficient conditions for precoder conv...
Itsik Bergel, Amir Leshem