3319 search results - page 375 / 664 » Subshifts, Languages and Logic |
175
click to vote
CD
2005
Springer
16 years 12 days ago
2005
Springer
Abstract. We describe a methodology for developing and deploying distributed Java applications using a reflective middleware system called RAFDA. We illustrate the methodology by d...
168
Voted
GECCO
2005
Springer
16 years 12 days ago
2005
Springer
We have investigated the potential for using genetic programming to evolve compiler parsing and translation routines for processing arithmetic and logical expressions as they are ...
161
click to vote
IFIP
2005
Springer
16 years 11 days ago
2005
Springer
We present a method for trust scenarios with more than one trustee, where sets of trustees are ordered in a relation of relative trustworthiness. We show how a priority structure i...
182
Voted
ECAI
2004
Springer
16 years 8 days ago
2004
Springer
Abstract. Temporally extended goals are used in planning to express safety and maintenance conditions. Linear temporal logic is the language often used to express temporally extend...
178
click to vote
KI
2004
Springer
16 years 7 days ago
2004
Springer
Abstract. The Unification-based Temporal Grammar is a temporal extension of static unification-based grammars. It defines a hierarchical temporal rule language to express comple...