6355 search results - page 1229 / 1271 » From Logic to Games |
137
click to vote
FPGA
2005
ACM
15 years 7 months ago
2005
ACM
Creating a new FPGA is a challenging undertaking because of the significant effort that must be spent on circuit design, layout and verification. It currently takes approximately ...
ICSOC
2005
Springer
15 years 7 months ago
2005
Springer
—Service-oriented computing promotes collaboration by defining the standards layer that allows compatibility between disparate domains. Workflows, by taking advantage of the serv...
123
click to vote
PDCAT
2005
Springer
15 years 7 months ago
2005
Springer
Recently a bulk of research [14, 5, 15, 9] has been done on the modelling of the smallworld phenomenon, which has been shown to be pervasive in social and nature networks, and eng...
144
click to vote
PPDP
2005
Springer
15 years 7 months ago
2005
Springer
When addressing the formal validation of generated software, two main alternatives consist either to prove the correctness of compilers or to directly validate the generated code....
122
click to vote
TABLEAUX
2005
Springer
15 years 7 months ago
2005
Springer
This paper describes the implementation of a tableau-based reasoning component which is capable of providing quasi natural language explanations for subsumptions within ALEHFR+ TBo...