624 search results - page 37 / 125 » A Structured Approach for Synthesizing Planners from Specifi... |
172
click to vote
MSV
2007
15 years 7 months ago
2007
Abstract—Service requests are the origin of every service provisioning process and therefore the entities to be considered first. Similar to Physics and Engineering Sciences, ser...
157
click to vote
CAIP
2001
Springer
15 years 10 months ago
2001
Springer
Abstract. Interaction increases flexibility of segmentation but it leads to undesirable behaviour of an algorithm if knowledge being requested is inappropriate. In region growing, ...
153
click to vote
APBC
2004
15 years 7 months ago
2004
Transcription factors play essential role in the gene regulation in higher organisms, binding to multiple target sequences and regulating multiple genes in a complex manner. In or...
201
click to vote
PAMI
1998
15 years 5 months ago
1998
—It is well-known that the linear scale-space theory in computer vision is mainly based on the Gaussian kernel. The purpose of the paper is to propose a scale-space theory based ...
139
click to vote
HPCS
2007
IEEE
16 years 10 days ago
2007
IEEE
One of the challenges in the large-scale simulations required for many molecular systems (such as those of biological interested) is the recording, monitoring and visualization of...