1346 search results - page 210 / 270 » Alternating-time dynamic logic |
142
click to vote
IAT
2009
IEEE
16 years 25 days ago
2009
IEEE
—High level conceptual thought seems to be at the basis of the impressive human cognitive ability. Classical topdown (Logic based) and bottom-up (Connectionist) approaches to the...
185
click to vote
WECWIS
2009
IEEE
16 years 24 days ago
2009
IEEE
—People, companies, and public authorities can now have a strong on-line presence and a huge amount of interactions on the Internet, made possible by the impressive growth of the...
155
click to vote
IPPS
2009
IEEE
16 years 22 days ago
2009
IEEE
We propose a novel design estimation method for adaptive streaming applications to be implemented on a partially reconfigurable FPGA. Based on experimental results we enable accu...
152
Voted
ICTAI
2008
IEEE
16 years 15 days ago
2008
IEEE
We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show ...
189
click to vote
ISQED
2008
IEEE
16 years 14 days ago
2008
IEEE
—Power and energy consumption has emerged as the premier and most constraining aspect in modern computational systems. Dynamic Voltage Scheduling (DVS) has been provably one of t...