3624 search results - page 641 / 725 » Abstract Algebraic Logic |
CEC
2008
IEEE
14 years 4 months ago
2008
IEEE
Abstract— Model Checking is a well-known and fully automatic technique for checking software properties, usually given as temporal logic formulae on the program variables. Most o...
ICDIM
2008
IEEE
14 years 4 months ago
2008
IEEE
Client-server architectures with clients on divergent platforms are in need of services that serve a high level of interoperability and a loose binding. It should be prevented tha...
AB
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. A well-known discrete approach to modeling biological regulatory networks is the logical framework developed by R. Thomas. The network structure is captured in an interac...
AI
2008
Springer
14 years 4 months ago
2008
Springer
Abstract. In the context of the RoboCup Simulation League, we describe a new representation of a software agent’s visual perception (“scene”), well suited for case-based reas...
FUZZIEEE
2007
IEEE
14 years 4 months ago
2007
IEEE
Abstract— Many spatial phenomena exhibit vagueness. Representation of such phenomena requires vague objects. In previous work, we provided definitions for vague objects: vague p...