10159 search results - page 1892 / 2032 » System Design Validation Using Formal Models |
IWCMC
2006
ACM
14 years 2 months ago
2006
ACM
Designing and planning of the switching, signaling and support network is a fairly complex process in cellular mobile network. In this paper, the problem of assigning cells to swi...
LPNMR
2007
Springer
14 years 2 months ago
2007
Springer
We describe a new grounder system for logic programs under answer set semantics, called GrinGo. Our approach combines and extends techniques from the two primary grounding approach...
ICCV
2007
IEEE
14 years 2 months ago
2007
IEEE
Mole pattern changes are important cues in detecting melanoma at an early stage. As a first step to automatically register mole pattern changes from skin images, this paper prese...
GECCO
2007
Springer
14 years 2 months ago
2007
Springer
Building artificial systems using self-assembly is one of the main issues of artificial life [17]. Scientists are trying to understand this process either using experimental appro...
CSB
2005
IEEE
14 years 1 months ago
2005
IEEE
HIV-1-associated dementia (HAD) is the most devastating disease happened in the central nervous system of AIDS patients. Neuronal damage, the early indicator of HAD, under differe...