349 search results - page 57 / 70 » The Finite and the Infinite |
127
Voted
CIKM
2008
Springer
15 years 2 months ago
2008
Springer
An expert finding system allows a user to type a simple text query and retrieve names and contact information of individuals that possess the expertise expressed in the query. Thi...
93
Voted
FORTE
2008
15 years 2 months ago
2008
Abstract. Several recent works have considered parameterized verification, i.e. automatic verification of systems consisting of an arbitrary number of finite-state processes organi...
114
click to vote
FOIS
2006
15 years 1 months ago
2006
Natural languages are easy to learn by infants, they can express any thought that any adult might ever conceive, and they accommodate the limitations of human breathing rates and s...
113
Voted
WINET
2008
15 years 12 days ago
2008
One class of applications envisaged for the IEEE 802.15.4 LR-WPAN (low data rate - wireless personal area network) standard is wireless sensor networks for monitoring and control a...
107
click to vote
PODS
2006
ACM
16 years 20 days ago
2006
ACM
d Abstract] Mikolaj Boja?nczyk Faculty of Mathematics, Informatics and Mechanics Warsaw University Poland Claire David LIAFA Universit?e Paris 7 France Anca Muscholl LIAFA Universi...