4067 search results - page 493 / 814 » Programs for Applying Symmetries |
200
click to vote
CODES
2008
IEEE
15 years 8 months ago
2008
IEEE
SystemC is widely used for modeling and simulation in hardware/software co-design. Due to the lack of a complete formal semantics, it is not possible to verify SystemC designs. In...
175
click to vote
ERLANG
2008
ACM
15 years 8 months ago
2008
ACM
Current and future trends for software include increasingly complex requirements on interaction between systems. As a result, the difficulty of system testing increases. Model-bas...
172
click to vote
LREC
2010
15 years 8 months ago
2010
Automatically translating natural language into machine-readable instructions is one of major interesting and challenging tasks in Natural Language (NL) Processing. This problem c...
171
click to vote
HCI
2007
15 years 8 months ago
2007
The hypothesis that happy team members are more cooperative than sad team members has become a popular presumption in social and applied psychology. The member negatively may affec...
179
click to vote
IJCAI
2007
15 years 8 months ago
2007
We explore an application to the game of Go of a reinforcement learning approach based on a linear evaluation function and large numbers of binary features. This strategy has prov...