2501 search results - page 35 / 501 » Logics with Rank Operators |
AUSAI
2006
Springer
14 years 6 days ago
2006
Springer
Abstract. In order to apply nonmonotonic logics for specifying industrial automation controllers, we define (1) a method to extend atemporal nonmonotonic logics with temporal opera...
DATE
2004
IEEE
14 years 6 days ago
2004
IEEE
Reconfigurable Systems-on-Chip (SoC) consist of large Field-Programmable Gate-Arrays (FPGAs) and standard processors. The reconfigurable logic can be used for application-specific...
WSC
1997
13 years 9 months ago
1997
A simulation environment of the coordinated operation of multiple Autonomous Underwater Vehicles (AUVs) is presented. The primary application of this simulation environment is the...
CORR
2008
Springer
13 years 8 months ago
2008
Springer
The approach to reasoning about structural operational semantics style specifications supported by the Abella system is discussed. This approach uses -tree syntax to treat object ...
ICML
2009
IEEE
14 years 9 months ago
2009
IEEE
Subgroup discovery is the task of identifying the top k patterns in a database with most significant deviation in the distribution of a target attribute Y . Subgroup discovery is ...