3068 search results - page 47 / 614 » Separation Results on the |
124
click to vote
DCOSS
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We develop a practical, distributed algorithm to detect events, identify measurement errors, and infer missing readings in ecological applications of wireless sensor netw...
SAJ
2000
14 years 11 months ago
2000
The increasing reliance on information technology to support business processes has emphasised the need for information security mechanisms. This, however, has resulted in an ever...
WWW
2004
ACM
16 years 15 days ago
2004
ACM
The mantra of every experienced web application developer is the same: thou shalt separate business logic from display. Ironically, almost all template engines allow violation of ...
ICASSP
2007
IEEE
15 years 6 months ago
2007
IEEE
We propose a speech separation method for a meeting situation, where each speaker sometimes speaks and the number of speakers changes every moment. Many source separation methods ...
105
click to vote
LPAR
2005
Springer
15 years 5 months ago
2005
Springer
Separation logic is a subset of the quantifier-free first order logic. It has been successfully used in the automated verification of systems that have large (or unbounded) inte...