Sciweavers

20573 search results - page 3886 / 4115
» The Computer's New Clothes
Sort
View
ICTAC
2010
Springer
15 years 2 months ago
Preference and Non-deterministic Choice
Material Flow Abstraction of Manufacturing Systems. ‣Umberto Costa, Ivan de Medeiros Jr and Marcel Oliveira. Specification and Verification of a MPI Implementation for a MP-SoC...
Bill Stoddart, Frank Zeyda, Steve Dunne
COMGEO
2011
ACM
14 years 11 months ago
Improved bounds for cops-and-robber pursuit
We prove that n cops can capture (that is, some cop can get less than unit distance from) a robber in a continuous square region with side length less than √ 5n and hence that n/...
Laurent Alonso, Edward M. Reingold
ACL
2011
14 years 7 months ago
Disentangling Chat with Local Coherence Models
‡e ev—lu—te sever—l popul—r models of lo™—l dis™ourse ™oheren™e for dom—in —nd t—sk genE er—lity ˜y —pplying them to ™h—t disent—ngleE mentF …sing experiments ...
Micha Elsner, Eugene Charniak

Publication
194views
17 years 2 months ago
Multimedia Satellite Networks and TCP/IP Traffic Transport
To meet an increasing demand for multimedia services and electronic connectivity across the world, satellite networks will play an indispensable role in the deployment of global ne...
Sastri Kota, Mukul Goyal, Rohit Goyal and Raj Jain

Publication
317views
17 years 2 months ago
A Detailed Analysis of How an Urban Trail System Affects the Travel of Cyclists
Transportation specialists, urban planners, and public health officials have been steadfast in encouraging active modes of transportation over the past decades. Conventional thin...
Kevin J. Krizek, Ahmed El-Geneidy, Kristin Thompso...
« Prev « First page 3886 / 4115 Last » Next »