1341 search results - page 168 / 269 » Periods in Extensions of Words |
180
click to vote
CONCUR
2001
Springer
15 years 10 months ago
2001
Springer
A key issue in the design of a model-checking tool is the choice of the formal language with which properties are specified. It is now recognized that a good language should exten...
213
click to vote
MOBISYS
2011
ACM
14 years 8 months ago
2011
ACM
Clock synchronization is critical for Wireless Sensor Networks (WSNs) due to the need of inter-node coordination and collaborative information processing. Although many message pa...
145
click to vote
WORDS
2003
IEEE
15 years 11 months ago
2003
IEEE
The ’Distributed Control Lab’ [6] at Hasso-PlattnerInstitute, University of Potsdam allows experimentation with a variety of physical equipment via the web (intra and internet...
276
click to vote
SDM
2011
SIAM
14 years 8 months ago
2011
SIAM
Latent semantic analysis (LSA), as one of the most popular unsupervised dimension reduction tools, has a wide range of applications in text mining and information retrieval. The k...
156
click to vote
FCT
2009
Springer
16 years 8 days ago
2009
Springer
Weighted automata are finite automata with numerical weights on transitions. Nondeterministic weighted automata define quantitative languages L that assign to each word w a real ...