3653 search results - page 399 / 731 » On Recognizable Timed Languages |
196
click to vote
ETFA
2008
IEEE
16 years 1 months ago
2008
IEEE
Programmable Logic Controllers (PLCs) play a significant role in the control of production systems and Sequential Function Chart (SFC) is one of the main programming languages. Th...
180
Voted
IPPS
2007
IEEE
16 years 1 months ago
2007
IEEE
Partial differential equations (PDEs) are used to model physical phenomena and then appropriate convergent numerical algorithms are employed to solve them and create computer simu...
167
click to vote
KI
2007
Springer
16 years 26 days ago
2007
Springer
Readylog is a logic-based agent programming language and combines many important features from other Golog dialects. One of the features of Readylog is to make use of decision-theo...
165
Voted
HICSS
2006
IEEE
16 years 23 days ago
2006
IEEE
— System software strongly relies on the availability of static as well as dynamic adaptation techniques. With AspectOriented Programming (AOP) it is now possible to adapt even p...
221
click to vote
DALT
2005
Springer
16 years 8 days ago
2005
Springer
An agent who bases his actions upon explicit logical formulae has at any given point in time a finite set of formulae he has computed. Closure or consistency conditions on this se...