2173 search results - page 88 / 435 » On the Values of Reducibility Candidates |
EPEW
2005
Springer
15 years 3 months ago
2005
Springer
We develop the static and dynamic semantics of PiDuce, a process calculus with XML values, schemas, and pattern matching. PiDuce values include channel names, therefore the structu...
AMC
2005
14 years 9 months ago
2005
We consider self-adjoint singularly perturbed two-point boundary value problems in conservation form. Highest possible order of uniform convergence for such problems achieved hith...
105
click to vote
ICAIL
2009
ACM
15 years 4 months ago
2009
ACM
In this paper coherence-based models are proposed as an alternative to logic-based BDI and argumentation models for the reasoning of normative agents. A model is provided for how t...
ICPR
2008
IEEE
15 years 4 months ago
2008
IEEE
Detection of appearance/disappearance of objects from satellite images is generally very difficult since background pixels also change their intensity values owing to various fac...
LCN
2008
IEEE
15 years 4 months ago
2008
IEEE
—Hyperbolic position bounding (HPB) provides a mechanism to probabilistically delimit the location of a wireless network malicious insider to a candidate area. A large scale path...