Sciweavers

2714 search results - page 297 / 543
» On the Notion of Value Object
Sort
View
CORR
2006
Springer
119views Education» more  CORR 2006»
15 years 6 months ago
Calculating modules in contextual logic program refinement
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
Robert Colvin, Ian J. Hayes, Paul A. Strooper
INFORMATICALT
2008
162views more  INFORMATICALT 2008»
15 years 6 months ago
Vague Rough Set Techniques for Uncertainty Processing in Relational Database Model
Abstract. The study of databases began with the design of efficient storage and data sharing techniques for large amount of data. This paper concerns the processing of imprecision ...
Karan Singh, Samajh Singh Thakur, Mangi Lal
CN
2007
106views more  CN 2007»
15 years 6 months ago
MIPv6 experimental evaluation using overlay networks
The commercial deployment of Mobile IPv6 has been hastened by the concepts of Integrated Wireless Networks and Overlay Networks, which are present in the notion of the forthcoming...
Pablo Vidales, Carlos Jesus Bernardos, Ignacio Sot...
171
Voted
CORR
2007
Springer
125views Education» more  CORR 2007»
15 years 6 months ago
Gaussian Interference Channel Capacity to Within One Bit
—The capacity of the two-user Gaussian interference channel has been open for 30 years. The understanding on this problem has been limited. The best known achievable region is du...
Raul Etkin, David Tse, Hua Wang
CORR
2007
Springer
80views Education» more  CORR 2007»
15 years 6 months ago
Uniqueness Domains in the Workspace of Parallel Manipulators
This work investigates new kinematic features of parallel manipulators. It is well known that parallel manipulators admit generally several direct kinematic solutions for a given ...
Philippe Wenger, Damien Chablat