Sciweavers

420 search results - page 51 / 84
» Discovering Conditional Functional Dependencies
Sort
View
DLOG
2007
15 years 6 months ago
Adding ABoxes to a Description Logic with Uniqueness Constraints via Path Agreements
We now know that the addition of a concept constructor called a Path Functional Dependency (PFD) to the Boolean-complete description logic DLF leads to undecidability of ABox consi...
Vitaliy L. Khizder, David Toman, Grant E. Weddell
INFORMATICALT
2006
96views more  INFORMATICALT 2006»
15 years 4 months ago
A Note about Total Stability of a Class of Hybrid Systems
Abstract. Robust stability results for nominally linear hybrid systems are obtained from total stability theorems for purely continuous-time and discrete-time systems. The class of...
Manuel de la Sen
TIT
2008
133views more  TIT 2008»
15 years 4 months ago
On the Uniqueness of Nonnegative Sparse Solutions to Underdetermined Systems of Equations
An underdetermined linear system of equations Ax = b with non-negativity constraint x 0 is considered. It is shown that for matrices A with a row-span intersecting the positive o...
Alfred M. Bruckstein, Michael Elad, Michael Zibule...
JNW
2007
140views more  JNW 2007»
15 years 4 months ago
The Effect of Physical Topology on Wireless Sensor Network Lifetime
— Wireless sensor networks must measure environmental conditions, such as temperature, over extended periods and therefore require a long system lifetime. The design of long life...
Debdhanit Yupho, Joseph Kabara
CN
2004
130views more  CN 2004»
15 years 4 months ago
The effect of bandwidth and buffer pricing on resource allocation and QoS
Congestion-based pricing of network resources is a common approach in evolving network architectures that support Quality of Service (QoS). Resource usage and QoS will thus fluctu...
Nan Jin, Scott Jordan