2556 search results - page 430 / 512 » The Triconnected Abstraction of Process Models |
185
click to vote
INFOCOM
2012
IEEE
13 years 8 months ago
2012
IEEE
Abstract—The prospect of new biological and industrial applications that require communication in micro-scale, encourages research on the design of bio-compatible communication n...
206
click to vote
TKDE
2012
13 years 8 months ago
2012
Abstract—This paper introduces a knowledge-driven approach to real-time, continuous activity recognition based on multisensor data streams in smart homes. The approach goes beyon...
193
click to vote
ERCIMDL
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Optical music recognition (OMR) enables librarians to digitise early music sources on a large scale. The cost of expert human labour to correct automatic recognition erro...
208
click to vote
HASKELL
2009
ACM
16 years 24 days ago
2009
ACM
We address the problem of reasoning about Haskell programs that use Software Transactional Memory (STM). As a motivating example, we consider Haskell code for a concurrent non-det...
181
click to vote
HIPEAC
2007
Springer
16 years 13 days ago
2007
Springer
Abstract. Network processors are programmable devices that can process packets at a high speed. A network processor is typified by multithreading and heterogeneous multiprocessing...