22560 search results - page 142 / 4512 » Development of Transportation Systems |
138
click to vote
ISCAS
1995
IEEE
15 years 8 months ago
1995
IEEE
Embryological electronics or “Embryonics” is a new paradigm for developing digital systems of any complexity, endowed of universal computation, self-repair and self-reproducti...
158
click to vote
APSEC
2006
IEEE
15 years 11 months ago
2006
IEEE
The technology of a home network system (HNS) allows integration of several kinds of home appliances to provide a user with value-added integrated services. Development of the int...
150
click to vote
LOPSTR
1995
Springer
15 years 8 months ago
1995
Springer
We present an automated proof method for constructive logic based on Wallen’s matrix characterization for intuitionistic validity. The proof search strategy extends Bibel’s con...
117
Voted
CAISE
2003
Springer
15 years 10 months ago
2003
Springer
Bioinformatics research groups require information systems keeping track of experiments and their results. However, current solutions are often ad-hoc, difficult to maintain, exten...
152
click to vote
IMCSIT
2010
15 years 2 months ago
2010
Nowadays personal identification is a very important issue. There is a wide range of applications in different spheres, such as video surveillance security systems, control of docu...