Sciweavers

3443 search results - page 54 / 689
» More Algebras for Determiners
Sort
View
ICC
2008
IEEE
139views Communications» more  ICC 2008»
14 years 2 months ago
Evaluation of RSVP and Mobility-Aware RSVP Using Performance Evaluation Process Algebra
—As a resource reservation mechanism, the Resource ReSerVation Protocol (RSVP) faces a lot of challenges when applying it to the wireless and mobile networks. The interworking pr...
Hao Wang, David I. Laurenson, Jane Hillston
ECCV
1998
Springer
14 years 10 months ago
Computation of the Quadrifocal Tensor
This paper gives a practical and accurate algorithm for the computation of the quadrifocal tensor and extraction of camera matrices from it. Previous methods for using the quadrifo...
Richard I. Hartley
ENTCS
2007
114views more  ENTCS 2007»
13 years 8 months ago
Active Evaluation Contexts for Reaction Semantics
In the context of process algebras it is customary to define semantics in the form of a reaction relation supported by a structural congruence relation. Recently process algebras...
Henrik Pilegaard, Flemming Nielson, Hanne Riis Nie...
FLAIRS
2010
13 years 9 months ago
Problem Solving by English Learners and English Primary Students in an Algebra Readiness ITS
Problem solving was compared for English Learners and English Primary students who had used AnimalWatch, an algebra-readiness ITS. Data records for word problems solved by student...
Federico Cirett, Carole R. Beal
ISCI
2010
110views more  ISCI 2010»
13 years 6 months ago
Weighted finite automata over strong bimonoids
: We investigate weighted finite automata over strings and strong bimonoids. Such algebraic structures satisfy the same laws as semirings except that no distributivity laws need t...
Manfred Droste, Torsten Stüber, Heiko Vogler