2643 search results - page 152 / 529 » Higher order messaging |
161
click to vote
ICASSP
2011
IEEE
14 years 8 months ago
2011
IEEE
This paper presents a robust unsupervised learning approach for detection of anomalies in patterns of human behavior using multi-modal smart environment sensor data. We model the ...
129
click to vote
ACE
2004
15 years 6 months ago
2004
Many governments are emphasizing the need to improve ICT skills, research and innovations, often making special reference to the role of higher education. At the 2003 conference o...
151
Voted
CORR
2008
Springer
15 years 4 months ago
2008
Springer
This paper presents a method to find new De Bruijn cycles based on ones of lesser order. This is done by mapping a De Bruijn cycle to several vertex disjoint cycles in a De Bruijn ...
153
click to vote
TPHOL
2008
IEEE
15 years 11 months ago
2008
IEEE
The HOL4 proof assistant supports specification and proof in classical higher order logic. It is the latest in a long line of similar systems. In this short overview, we give an o...
125
Voted
TPHOL
2007
IEEE
15 years 11 months ago
2007
IEEE
Terminator is a static analysis tool developed by Microsoft Research for proving termination of Windows device drivers written in C. This proof pearl describes a formalization in h...