Sciweavers

1532 search results - page 153 / 307
» Connection Relations in Mereotopology
Sort
View
92
Voted
AOSE
2001
Springer
15 years 5 months ago
A Lifecycle for Models of Large Multi-agent Systems
Two key issues in building multi-agent systems concern their scalability and engineering open systems. We offer solutions to these potential problems by introducing a lifecycle fo...
Wamberto Weber Vasconcelos, David Stuart Robertson...
CAIP
2001
Springer
126views Image Analysis» more  CAIP 2001»
15 years 5 months ago
A Technique for Segmentation of Gurmukhi Text
This paper describes a technique for text segmentation of machine printed Gurmukhi script documents. Research in the field of segmentation of Gurmukhi script faces major problems m...
G. S. Lehal, Chandan Singh
ICLP
2001
Springer
15 years 5 months ago
An Order-Sorted Resolution with Implicitly Negative Sorts
We usually use natural language vocabulary for sort names in order-sorted logics, and some sort names may contradict other sort names in the sort-hierarchy. These implicit negation...
Ken Kaneiwa, Satoshi Tojo
76
Voted
DEXAW
2000
IEEE
68views Database» more  DEXAW 2000»
15 years 5 months ago
Relocation in Mobile Process-Centered Software Development Environments
This paper addresses the problem of enabling a user of a process-centered SDE, hosted on a high-speed network, to continue working on a detached mobile workstation connected by a l...
S. Bhattacharyya, Leon J. Osterweil
101
Voted
SMI
1999
IEEE
116views Image Analysis» more  SMI 1999»
15 years 5 months ago
Intersecting Surfaces of Special Types
We present efficient and robust algorithms for intersecting a freeform surface with a ringed surface or a ruled surface. A ringed surface is given as a one-parameter family of cir...
Myung-Soo Kim