1350 search results - page 146 / 270 » Reasoning about Staged Computation |
174
click to vote
FAC
2010
15 years 2 months ago
2010
Data refinement is a common approach to reasoning about programs, based on establishing that te program indeed satisfies all the required properties imposed by an intended abstract...
165
click to vote
ELPUB
2007
ACM
15 years 9 months ago
2007
ACM
Electronic publishing is one part of a much larger process. There is a research lifecycle from creation of a programme for funded research through research proposals, projects, ou...
160
click to vote
IJNSEC
2007
15 years 5 months ago
2007
It is generally agreed that two key points always attract special concerns during the modelling of anomaly-based intrusion detection. One is the techniques about discerning two cl...
136
Voted
IBMSJ
2000
15 years 5 months ago
2000
As an outgrowth of our interest in dense wireless sensing and expressive applications of wearable computing, we have developed the world's most versatile human-computer inter...
165
click to vote
ICIP
2002
IEEE
16 years 7 months ago
2002
IEEE
In this paper, we consider the problem of lossless compression of video by taking into account temporal information. Video lossless compression is an interesting possibility in th...