Sciweavers

2082 search results - page 67 / 417
» Change Paths in Reasoning!
Sort
View
CSL
2004
Springer
14 years 10 months ago
Unsupervised word sense disambiguation using WordNet relatives
Hee-Cheol Seo, Hoo-Jung Chung, Hae-Chang Rim, Sung...
99
Voted
MOBIHOC
2002
ACM
15 years 10 months ago
Path set selection in mobile ad hoc networks
Topological changes in mobile ad hoc networks frequently render routing paths unusable. Such recurrent path failures have detrimental effects on the network ability to support QoS...
Emin Gün Sirer, Panagiotis Papadimitratos, Zy...
87
Voted
CN
2004
98views more  CN 2004»
14 years 10 months ago
On selection of candidate paths for proportional routing
QoS routing involves selection of paths for flows based on the knowledge at network nodes about the availability of resources along paths, and the QoS requirements of flows. Sever...
Srihari Nelakuditi, Zhi-Li Zhang, David Hung-Chang...
77
Voted
SAS
2004
Springer
140views Formal Methods» more  SAS 2004»
15 years 4 months ago
Path-Sensitive Analysis for Linear Arithmetic and Uninterpreted Functions
We describe data structures and algorithms for performing a path-sensitive program analysis to discover equivalences of expressions involving linear arithmetic or uninterpreted fun...
Sumit Gulwani, George C. Necula
96
Voted
ECAI
2000
Springer
15 years 3 months ago
A Framework for Dynamic Constraint Reasoning using Procedural Constraints
Many complex real-world decision problems, such as planning, contain an underlying constraint reasoning problem. The feasibility of a solution candidate then depends on the consis...
Ari K. Jónsson, Jeremy Frank