2191 search results - page 372 / 439 » Evolutionary testing of classes |
135
click to vote
AIMSA
2008
Springer
15 years 5 months ago
2008
Springer
Abstract. Constraint Satisfaction has been widely used to model static combinatorial problems. However, many AI problems are dynamic and take place in a distributed environment, i....
165
click to vote
APN
2005
Springer
15 years 5 months ago
2005
Springer
Abstract. We establish mutual translations between the classes of 1safe timed-arc Petri nets (and its extension with testing arcs) and networks of timed automata (and its subclass ...
116
click to vote
BIBE
2005
IEEE
15 years 5 months ago
2005
IEEE
The classification of proteins based on their structure can play an important role in the deduction or discovery of protein function. However, the relatively low number of solved...
128
Voted
DAC
2005
ACM
15 years 5 months ago
2005
ACM
1 This paper presents a transient faults sensitivity evaluation for Quasi Delay Insensitive (QDI) asynchronous circuits. Because of their specific architecture, asynchronous circui...
116
click to vote
DILS
2005
Springer
15 years 5 months ago
2005
Springer
Integrating data involving chemical structures is simplified when unique identifiers (UIDs) can be associated with chemical structures. For example, these identifiers can be use...