15840 search results - page 2609 / 3168 » The Control of Synchronous Systems |
215
click to vote
JAR
2010
15 years 5 months ago
2010
Many theorems involving special functions such as ln, exp and sin can be proved automatically by MetiTarski: a resolution theorem prover modified to call a decision procedure for ...
159
click to vote
JSAC
2010
15 years 5 months ago
2010
Abstract—Networks cannot be managed without communication among geographically distributed network devices and control agents. Unfortunately, computer networks today lack an auto...
186
click to vote
KI
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. Unlike people, household robots cannot rely on commonsense knowledge when accomplishing everyday tasks. We believe that this is one of the reasons why they perform poorly...
216
click to vote
MODELS
2010
Springer
15 years 5 months ago
2010
Springer
Abstract. UML activity diagrams have become an established notamodel control and data flow on various levels of abstraction, ranging from fine-grained descriptions of algorithms ...
175
click to vote
MSOM
2010
15 years 5 months ago
2010
Dell’s supply chain for desktops involves Asian vendors shipping components by sea to several U.S. plants. While suppliers are responsible for shipping enough inventory, Dell ca...