5863 search results - page 1009 / 1173 » On Model-Checking of P Systems |
159
Voted
SEMCO
2008
IEEE
15 years 10 months ago
2008
IEEE
We developed a novel analytical environment to aid in the examination of the extensive amount of interconnected data available for genome projects. Our focus is to enable ity and ...
140
click to vote
AVSS
2007
IEEE
15 years 10 months ago
2007
IEEE
This paper presents a new methodology for improving the tracking of multiple targets in complex scenes. The new method, Motion Parameter Sharing, incorporates social motion inform...
150
click to vote
CBMS
2007
IEEE
15 years 10 months ago
2007
IEEE
One of the most considerable functions in a hospital's infection control program is the surveillance of antibiotic resistance. Several traditional methods used to measure it ...
149
click to vote
CISS
2007
IEEE
15 years 10 months ago
2007
IEEE
— In wireless ad hoc networks, distributed nodes can collaboratively form an antenna array for long-distance communications to achieve high energy efficiency. In recent work, Oc...
121
click to vote
CLUSTER
2007
IEEE
15 years 10 months ago
2007
IEEE
— Achieving high performance for out-of-core applications typically involves explicit management of the movement of data between the disk and the physical memory. We are developi...