Sciweavers

5372 search results - page 333 / 1075
» complexity 2007
Sort
View
166
Voted
AINA
2007
IEEE
15 years 2 months ago
Using Mobile Agent-Based Middleware to Support Distributed Coordination for Vehicle Telematics
With an increasing number of vehicles equipped with embedded computing platforms and advanced wireless technology, general purpose vehicle telematics applications are highly promi...
Jinhua Guo, Guangming Xing
124
Voted
EJC
2008
15 years 2 months ago
Enumeration of almost polynomial rational functions with given critical values
1 Rational functions and minimal factorizations of permutations Let f : C C be a rational function of degree n in one complex variable. A critical point of f is a point z C such...
Dmitri Panov, Dimitri Zvonkine
CORR
2007
Springer
78views Education» more  CORR 2007»
15 years 2 months ago
Hybrid Branching-Time Logics
We introduce hybrid branching-time logics as extensions of CT L-like logics with hybrid machinery such as the downarrow-operator. Following recent work in the linear framework, we...
Volker Weber
CORR
2007
Springer
103views Education» more  CORR 2007»
15 years 2 months ago
Evaluation of a Grammar of French Determiners
Existing syntactic grammars of natural languages, even with a far from complete coverage, are complex objects. Assessments of the quality of parts of such grammars are useful for t...
Eric Laporte
122
Voted
DAM
2007
105views more  DAM 2007»
15 years 2 months ago
Recognizing and representing proper interval graphs in parallel using merging and sorting
We present a parallel algorithm for recognizing and representing a proper interval graph in O(log2 n) time with O(m + n) processors on the CREW PRAM, where m and n are the number ...
Jørgen Bang-Jensen, Jing Huang, Louis Ibarr...