Sciweavers

1426 search results - page 131 / 286
» Specification of nonmonotonic reasoning
Sort
View
TC
2002
15 years 6 months ago
Support for Recovery in Mobile Systems
Abstract--Mobile systems increasingly are being used for production-grade datacentered applications which require system support for transactional properties. For mobile applicatio...
Cris Pedregal Martin, Krithi Ramamritham
GIS
2008
ACM
16 years 8 months ago
Computing isochrones in multi-modal, schedule-based transport networks
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...
Veronika Bauer, Johann Gamper, Roberto Loperfido, ...
LTCONF
2007
Springer
16 years 1 months ago
Putting Semantics into WordNet's "Morphosemantic" Links
To add to WordNet's contents, and specifically to aid automatic reasoning with WordNet, we classify and label the current relations among derivationally and semantically rela...
Christiane Fellbaum, Anne Osherson, Peter E. Clark
ICANN
2003
Springer
16 years 2 days ago
Knowledge Refinement Using Fuzzy Compositional Neural Networks
Fuzzy relations as representational tools and fuzzy compositional operators as reasoning components, are user in this paper in order to represent knowledge expressed in semantic ru...
Vassilis Tzouvaras, Giorgos B. Stamou, Stefanos D....
IPPS
1999
IEEE
15 years 11 months ago
Optimization Rules for Programming with Collective Operations
We study how several collective operations like broadcast, reduction, scan, etc. can be composed efficiently in complex parallel programs. Our specific contributions are: (1) a fo...
Sergei Gorlatch, Christoph Wedler, Christian Lenga...