10406 search results - page 1898 / 2082 » Using RDF to Model the Structure and Process of Systems |
127
click to vote
ASYNC
2007
IEEE
15 years 8 months ago
2007
IEEE
Few formal verification techniques are currently available for asynchronous designs. In this paper, we describe a new approach for the formal verification of asynchronous architec...
104
click to vote
AUTOMATICA
2008
15 years 4 months ago
2008
In this paper, the identification of a class of nonlinear systems which admits input-output maps described by a finite degree Volterra series is considered. In actual fact, it app...
154
click to vote
BMCBI
2006
2006
A minimally invasive multiple marker approach allows highly efficient detection of meningioma tumors
15 years 4 months ago
Background: The development of effective frameworks that permit an accurate diagnosis of tumors, especially in their early stages, remains a grand challenge in the field of bioinf...
126
click to vote
IJSWIS
2008
15 years 4 months ago
2008
The last few years have seen the emergence of two parallel trends: the first of such trends is set by technologies such as Near Field Communication, 2D Bar codes and RFID that supp...
118
click to vote
IJCPOL
2006
15 years 4 months ago
2006
Implementation of legal bilingualism in Hong Kong after 1997 has necessitated the production of voluminous and extensive court proceedings and judgments in both Chinese and Englis...