1894 search results - page 192 / 379 » A TLA Proof System |
137
click to vote
QSIC
2007
IEEE
15 years 10 months ago
2007
IEEE
The advanced electric power grid is a complex real-time system having both Cyber and Physical components. While each component may function correctly, independently, their composi...
108
click to vote
ICRA
2006
IEEE
15 years 10 months ago
2006
IEEE
- This paper reports the pneumatic PDMS micro hand as an endeffector of robot and miniaturized parallel link robot (guide robot) for manipulating a tiny and delicate object. Micro ...
131
click to vote
IPSN
2005
Springer
15 years 10 months ago
2005
Springer
Maximizing system lifetime in battery-powered wireless sensor networks with power aware topology control protocols and routing protocols has received intensive research. In the pa...
127
click to vote
MATA
2004
Springer
15 years 9 months ago
2004
Springer
Mobile agents are software entities consisting of code, data and state that can migrate autonomously from host to host executing their code. Unfortunately, security issues restrict...
157
click to vote
LPKR
1997
Springer
15 years 8 months ago
1997
Springer
We present the system LAP (Learning Abductive Programs) that is able to learn abductive logic programs from examples and from a background abductive theory. A new type of induction...