Sciweavers

2757 search results - page 445 / 552
» Empirical investigations of conceptual modeling and the mode...
Sort
View
DCC
2007
IEEE
16 years 1 months ago
Image Coding on Quincunx Lattice with Adaptive Lifting and Interpolation
Considering that quincunx lattice is a more efficient spatial sampling scheme than square lattice, we investigate a new approach of image coding for quincunx sample arrangement. T...
Xiangjun Zhang, Xiaolin Wu, Feng Wu
CALCO
2009
Springer
115views Mathematics» more  CALCO 2009»
15 years 8 months ago
Relating Coalgebraic Notions of Bisimulation
d abstract) Sam Staton Computer Laboratory, University of Cambridge Abstract. A labelled transition system can be understood as a coalgebra for a particular endofunctor on the cate...
Sam Staton
118
Voted
ICNSC
2007
IEEE
15 years 7 months ago
Analysis of a Simple Feedback Scheme for Error Correction over a Lossy Network
Abstract— In time varying packet-switched networks, delivering data with high reliability using a limited amount of network resources is highly desirable. To capture the trade-of...
Oscar Flardh, Carlo Fischione, Karl Henrik Johanss...
ECAL
2007
Springer
15 years 7 months ago
Minimal Agency Detection of Embodied Agents
Agency detection is studied in a simple simulated model with embodied agents. Psychological experiments such as double TV-monitor experiments and perceptual crossing show the centr...
Hiroyuki Iizuka, Ezequiel A. Di Paolo
SUTC
2006
IEEE
15 years 7 months ago
The Computational Complexity of Enforceability Validation for Generic Access Control Rules
In computer security, many researches have tackled on the possibility of a unified model of access control, which could enforce any access control policies within a single unified...
Vincent C. Hu, D. Richard Kuhn, David F. Ferraiolo