5622 search results - page 659 / 1125 » Solving architectural modelling problems using knowledge |
202
click to vote
KR
2004
Springer
16 years 21 days ago
2004
Springer
Temporal reasoning has always been a major test case for knowledge representation formalisms. In this paper, we develop an inductive variant of the situation calculus using the Lo...
197
click to vote
INFOCOM
2003
IEEE
16 years 18 days ago
2003
IEEE
Abstract— Efficient bandwidth allocation strategy with simultaneous fulfillment of QoS requirement of a user in a mobile cellular network is still a critical and an important p...
173
click to vote
ILP
1998
Springer
15 years 11 months ago
1998
Springer
This paper describes a new kind of language bias, S-structural indeterminate clauses, which takes into account the meaning of predicates that play a key role in the complexity of l...
214
click to vote
EDBTW
2006
Springer
15 years 11 months ago
2006
Springer
Regular path queries are the basic navigational component of virtually all the mechanisms for querying semistructured data commonly found in information integration applications, W...
230
click to vote
CVPR
2005
IEEE
15 years 9 months ago
2005
IEEE
The segmentation of anatomical structures has been traditionally formulated as a perceptual grouping task, and solved through clustering and variational approaches. However, such ...