363 search results - page 10 / 73 » Interoperability-Centric Problems: New Challenges and Legal ... |
IJCAI
1989
14 years 10 months ago
1989
This paper describes a program, called NEWTON, that finds approximate symbolic solutions to parameterized equations in one variable. N E W T O N derives an initial approximation b...
126
click to vote
ALDT
2011
Springer
13 years 9 months ago
2011
Springer
Security and sustainability are two critical global challenges that involve the interaction of many intelligent actors. Game theory provides a sound mathematical framework to model...
86
Voted
ITC
2003
IEEE
15 years 2 months ago
2003
IEEE
Functional verification of complex designs largely relies on the use of simulation in conjunction high-level verification languages (HVL) and test-bench automation (TBA) tools. In...
ROBOCUP
2005
Springer
15 years 2 months ago
2005
Springer
To put more emphasis on real-world problems, the authors propose to extend the RoboCup competitions. In order to foster progress in the desired abilities the authors propose to exp...
DAC
2004
ACM
15 years 10 months ago
2004
ACM
The growing number of instances of breaches in information security in the last few years has created a compelling case for efforts towards secure electronic systems. Embedded sys...