Sciweavers

226 search results - page 2 / 46
» From Logic to Physics: How the Meaning of Computation Change...
Sort
View
GLOBECOM
2008
IEEE
13 years 11 months ago
Physical Layer Network Coding Schemes over Finite and Infinite Fields
: Direct application of network coding at the physical layer - physical layer network coding (PNC) - is a promising technique for two-way relay wireless networks. In a two-way rela...
Shengli Zhang, Soung Chang Liew, Lu Lu
ISWC
2002
IEEE
13 years 9 months ago
Time and Time Again: Parallels in the Development of the Watch and the Wearable Computer
This paper examines the parallels in the development of the watch and the wearable computer. It discusses how the locations where the watch was worn on the body has changed over t...
Thomas L. Martin
IGPL
2010
132views more  IGPL 2010»
13 years 3 months ago
Changing legal systems: legal abrogations and annulments in Defeasible Logic
In this paper we investigate how to represent and reason about legal abrogations and annulments in Defeasible Logic. We examine some options that embed in this setting, and in simi...
Guido Governatori, Antonino Rotolo
ICML
2007
IEEE
14 years 5 months ago
Modeling changing dependency structure in multivariate time series
We show how to apply the efficient Bayesian changepoint detection techniques of Fearnhead in the multivariate setting. We model the joint density of vector-valued observations usi...
Xiang Xuan, Kevin P. Murphy
CORR
2004
Springer
142views Education» more  CORR 2004»
13 years 4 months ago
Modeling and Validating Hybrid Systems Using VDM and Mathematica
Hybrid systems are characterized by the hybrid evolution of their state: A part of the state changes discretely, the other part changes continuously over time. Typically, modern c...
Bernhard K. Aichernig, Reinhold Kainhofer