Sciweavers

2365 search results - page 139 / 473
» All things are connected
Sort
View
CIE
2008
Springer
15 years 8 months ago
Perfect Local Computability and Computable Simulations
We study perfectly locally computable structures, which are (possibly uncountable) structures S that have highly effective presentations of their local properties. We show that eve...
Russell Miller, Dustin Mulcahey
DDECS
2007
IEEE
133views Hardware» more  DDECS 2007»
15 years 8 months ago
Prototyping Generators for On-line Test Vector Generation Based on PSL Properties
— From an assumed property, which constrains the inputs of a design under test, we produce a RTL synthesizable design that generates compliant sequences of values for all the sig...
Yann Oddos, Katell Morin-Allory, Dominique Borrion...
ERCIMDL
2008
Springer
94views Education» more  ERCIMDL 2008»
15 years 8 months ago
A Participative Digital Archiving Approach to University History and Memory
As digital archiving is heading into the next level of development and influence, we must consider the need of connecting digital archiving with more people and more resources to e...
Jyishane Liu
COLING
2008
15 years 8 months ago
A Complete and Modestly Funny System for Generating and Performing Japanese Stand-Up Comedy
We present a complete system that generates Japanese stand-up comedy. Different modules generating different types of jokes are tied together into a performance where all jokes ar...
Jonas Sjöbergh, Kenji Araki
ESANN
2007
15 years 8 months ago
Informational cost in correlation-based neuronal networks
The cost of maintaining a given level of activity in a neuronal network depends on its size and degree of connectivity. Should a neural function require large-size fully-connected ...
Gaetano Liborio Aiello, Carlo Casarino