25156 search results - page 133 / 5032 » Applications for conscious systems |
172
click to vote
ASE
2004
15 years 5 months ago
2004
In this paper, we develop model checking procedures for three ways of combining (temporal) logics: temporalization, independent combination, and join. We prove that they are termin...
175
click to vote
TIM
2010
15 years 5 days ago
2010
In the last few years, the growing complexity of the electrical power networks, mainly due to the increased use of electronic converters together with the requirements of a higher ...
166
click to vote
WEBDB
2009
Springer
16 years 2 days ago
2009
Springer
Recently, the opportunity of extracting structured data from the Web has been identified by a number of research projects. One such example is that millions of relational-style H...
179
click to vote
IWANN
2005
Springer
15 years 11 months ago
2005
Springer
Carbon nanotubes are often seen as the only alternative technology to silicon transistors. While they are the most likely short-term alternative, other longer-term alternatives sho...
164
click to vote
ICFCA
2004
Springer
15 years 11 months ago
2004
Springer
BLID (Bio-Logical Intelligent Database) is a bioinformatic system designed to help biologists extract new knowledge from raw genome data by providing high-level facilities for both...