10916 search results - page 217 / 2184 » On Constructive Connectives and Systems |
166
click to vote
AOSE
2004
Springer
16 years 1 days ago
2004
Springer
Abstract. One of the main challenges for the successful application of agentbased systems in mobile and embedded devices is enabling application developers to reconcile the needs o...
159
click to vote
APWEB
2004
Springer
16 years 1 days ago
2004
Springer
This paper presents a web page fragmentation technique, which is utilized for extracting specific parts of web pages and building personalized portals using these fragments. It is ...
248
click to vote
COMPGEOM
2010
ACM
15 years 11 months ago
2010
ACM
The Reeb graph of a scalar function represents the evolution of the topology of its level sets. In this video, we describe a near-optimal output-sensitive algorithm for computing ...
159
click to vote
ECSQARU
2001
Springer
15 years 11 months ago
2001
Springer
The term “changes in structure,” originating from work in econometrics, refers to structural modifications invoked by actions on a causal model. In this paper we formalize the...
175
click to vote
KI
1992
Springer
15 years 10 months ago
1992
Springer
Abstract. The purpose of this note is to present and evaluate the options available to a researcher wishing to use logic for representation, reasoning and computation in his applic...