1147 search results - page 55 / 230 » Termination in language-based systems |
ATAL
2003
Springer
14 years 2 months ago
2003
Springer
The Australian Bureau of Meteorology has a requirement for complex and evolving systems to manage its weather forecasting, monitoring and alerts. This paper describes an agent-bas...
FPL
2006
Springer
14 years 13 days ago
2006
Springer
A secure content distribution system is prototyped based on run-time partial reconfigurability of an FPGA. The system provides a robust content protection scheme for online conten...
AUTOMATICA
2008
13 years 9 months ago
2008
Abstract-- This paper considers uncertain constrained systems, and develops a method for computing a probabilistic output admissible (POA) set which is a set of initial states prob...
IEEECIT
2010
IEEE
13 years 7 months ago
2010
IEEE
—OPhone is an open source platform in intelligent terminal released by China Mobile. With the increase of various applications based on the platform, OPhone education is becoming...
IJCAI
1989
13 years 10 months ago
1989
This paper represents a beginning development of a parallel truth maintenance system to interact with a parallel inference engine. We present a solution which performs status assi...