10568 search results - page 1704 / 2114 » Computer Intelligence and Formalization |
194
click to vote
ASP
2005
Springer
15 years 11 months ago
2005
Springer
This paper studies compositional semantics of nonmonotonic logic programs. We suppose the answer set semantics of extended disjunctive programs and consider the following problem. ...
153
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
This paper describes our preliminary analysis on the induction of communication protocols. Our work has two goals: (i) to recognize rules (i.e. protocols) from the communicative b...
140
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
Tuple spaces and the associated Linda language are a popular model for distributed computation, and Law-Governed Linda (LGL) is a variant allowing processes to have differential ...
164
click to vote
ATAL
2005
Springer
15 years 11 months ago
2005
Springer
For multi-target tracking, we realize the increase in number of simultaneously trackable objects and tracking stability by improving the way of communication proposed in [1] so th...
151
click to vote
CCIA
2005
Springer
15 years 11 months ago
2005
Springer
Abstract. As an ongoing effort to develop a computer aided system for the detection of masses on mammograms, we propose on this work a new model-based segmentation algorithm. The a...