Sciweavers

7066 search results - page 65 / 1414
» Contact Relations with Applications
Sort
View
ATVA
2009
Springer
158views Hardware» more  ATVA 2009»
14 years 3 months ago
Logahedra: A New Weakly Relational Domain
Weakly relational numeric domains express restricted classes of linear inequalities that strike a balance between what can be described and what can be efficiently computed. Popula...
Jacob M. Howe, Andy King
CORR
2010
Springer
138views Education» more  CORR 2010»
13 years 8 months ago
A Logical Temporal Relational Data Model
Time is one of the most difficult aspects to handle in real world applications such as database systems. Relational database management systems proposed by Codd offer very little ...
Nadeem Mahmood, Aqil Burney, Kamran Ahsan
ENTCS
2007
102views more  ENTCS 2007»
13 years 8 months ago
Encoding Functional Relations in Scunak
We describe how a set-theoretic foundation for mathematics can be encoded in the new system Scunak. We then discuss an encoding of the construction of functions as functional relat...
Chad E. Brown
AUTOMATICA
2000
102views more  AUTOMATICA 2000»
13 years 8 months ago
Stabilization of relative equilibria for underactuated systems on Riemannian manifolds
This paper describes a systematic procedure to exponentially stabilize relative equilibria of mechanical systems. We review the notion of relative equilibria and their stability i...
Francesco Bullo
ICDE
1996
IEEE
120views Database» more  ICDE 1996»
14 years 10 months ago
Towards the Reverse Engineering of Denormalized Relational Databases
This paper describes a method to cope with denormalized relational schemas in a database reverse engineering process. We propose two main steps to irnprove the understanding of da...
Jean-Marc Petit, Farouk Toumani, Jean-Franç...