4036 search results - page 791 / 808 » Formal Methods |
WABI
2001
Springer
15 years 4 months ago
2001
Springer
We describe algorithms for pattern matching and pattern learning in TOPS diagrams (formal descriptions of protein topologies). These problems can be reduced to checking for subgrap...
105
click to vote
ECAI
2000
Springer
15 years 4 months ago
2000
Springer
Several high-level programming languages for programming agents and robots have been proposed in recent years. Each of these languages has its own features and merits. It is still...
EPIA
1999
Springer
15 years 4 months ago
1999
Springer
In this paper we propose a hybrid system that bridges the gap between traditional image processing methods, used for low-level object recognition, and abductive constraint logic pr...
108
click to vote
RTCSA
1999
IEEE
15 years 4 months ago
1999
IEEE
ASTRAL is a high-level formal specification language for real-time (infinite state) systems. It is provided with structuring mechanisms that allow one to build modularized specifi...
103
click to vote
FMLDO
1999
Springer
15 years 4 months ago
1999
Springer
Federated transaction management (also known as multidatabase transaction management in the literature) is needed to ensure the consistency of data that is distributed across mult...