526 search results - page 58 / 106 » Representations of structural closure operators |
ICPR
2008
IEEE
15 years 6 months ago
2008
IEEE
Graphs are powerful data structures that have many attractive properties for object representation. However, some basic operations are difficult to define and implement, for ins...
ISBI
2007
IEEE
15 years 6 months ago
2007
IEEE
Extraction of the cerebrum, cerebellum, and brain stem from structural magnetic resonances images (MRIs) is an important initial step in neuroimaging. We present an automated algo...
AUSAI
2005
Springer
15 years 5 months ago
2005
Springer
The key problem in applying verification techniques such as model checking to agent architectures is to show how to map systematically from an agent program to a model structure t...
HICSS
2002
IEEE
15 years 4 months ago
2002
IEEE
With the increasing availability of Web-enabled mobile devices, we are facing the problem to effectively adapt Web content for those devices. For adaptation, Web page structures r...
ISTA
2001
15 years 1 months ago
2001
: The simulation of technological process in the oil pipelines system is considered in the paper. The solution of the task meets a number of difficulties originating during control...