3679 search results - page 470 / 736 » Answer set based design of knowledge systems |
227
click to vote
APSEC
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract--Formal methods are very useful in software industry and are becoming of paramount importance in practical engineering techniques. They involve the design and the modeling...
205
click to vote
ICDAR
2009
IEEE
15 years 5 months ago
2009
IEEE
Most studies about writer identification are based on English documents and to our knowledge no research has been reported on Farsi or Arabic documents. In this paper, we have pro...
173
click to vote
EDCC
2008
Springer
15 years 9 months ago
2008
Springer
We present the design, correctness, and analysis of SONDe, a simple fully decentralized object deployment algorithm for highly requested systems. Given an object (service or data)...
167
click to vote
DAGSTUHL
2001
15 years 8 months ago
2001
Computer science educators have traditionally used algorithm visualization (AV) software to create graphical representations of algorithms that are later used as visual aids in lec...
205
click to vote
AMC
2005
15 years 7 months ago
2005
We introduce a novel way of measuring the entropy of a set of values undergoing changes. Such a measure becomes useful when analyzing the temporal development of an algorithm desi...