3979 search results - page 343 / 796 » Wild control operators |
169
click to vote
POPL
2010
ACM
16 years 4 months ago
2010
ACM
In functional programming, monadic characterizations of computational effects are normally understood denotationally: they describe how an effectful program can be systematically ...
219
click to vote
LFCS
2009
Springer
16 years 1 months ago
2009
Springer
Memory logics are a family of modal logics in which standard relational structures are augmented with data structures and additional operations to modify and query these structure...
166
click to vote
ITC
2003
IEEE
16 years 19 hour ago
2003
IEEE
The use of AC coupled interconnects to provide communication paths between devices is increasing. The existing IEEE 1149.1 boundary scan standard [1] (JTAG) has limitations that h...
194
click to vote
IJDE
2006
15 years 6 months ago
2006
Rootkits are malicious programs that silently subvert an operating system to hide an intruder's activities. Although there are a number of tools designed to detect rootkits, ...
157
click to vote
ICIP
2006
IEEE
16 years 8 months ago
2006
IEEE
The main focus of this paper is the shape representation and registration using vector level set functions. This powerful representation is more flexible than conventional signed ...