4047 search results - page 179 / 810 » Some Properties and Some Problems on Set Functors |
148
click to vote
DLOG
2008
15 years 8 months ago
2008
Abstract. Revision of a Description Logic-based ontology to incorporate newly received information consistently is an important problem for the lifecycle of ontologies. Many approa...
155
click to vote
RTSS
2003
IEEE
15 years 11 months ago
2003
IEEE
Consensus is known to be a fundamental problem in fault-tolerant distributed systems. Solving this problem provides the means for distributed processes to agree on a single value....
132
click to vote
COR
2008
15 years 6 months ago
2008
This work deals with a multi-period capacitated location problem inspired by telecommunication access network planning problems, where demands and costs vary from one period to an...
161
click to vote
CAV
2007
Springer
16 years 16 days ago
2007
Springer
Abstract. Regular model checking is a form of symbolic model checking technique for systems whose states can be represented as finite words over a finite alphabet, where regular ...
154
click to vote
IDA
2003
Springer
15 years 11 months ago
2003
Springer
Because uncertain reasoning is often intractable, it is hard to reason with a large amount of knowledge. One solution to this problem is to specify a set of possible models, some s...