Sciweavers

7557 search results - page 527 / 1512
» Constraints as a design pattern
Sort
View
NAACL
2003
15 years 8 months ago
Language choice models for microplanning and readability
This paper describes the construction of language choice models for the microplanning of discourse relations in a Natural Language Generation system that attempts to generate appr...
Sandra Williams
CAV
2010
Springer
185views Hardware» more  CAV 2010»
15 years 7 months ago
Achieving Distributed Control through Model Checking
Abstract. We apply model checking of knowledge properties to the design of distributed controllers that enforce global constraints on concurrent systems. We calculate when processe...
Susanne Graf, Doron Peled, Sophie Quinton
TSP
2008
114views more  TSP 2008»
15 years 7 months ago
Zero-Forcing Precoding and Generalized Inverses
Abstract--We consider the problem of linear zero-forcing precoding design and discuss its relation to the theory of generalized inverses in linear algebra. Special attention is giv...
Ami Wiesel, Yonina C. Eldar, Shlomo Shamai
ETS
2000
IEEE
193views Hardware» more  ETS 2000»
15 years 7 months ago
The Virtual School: An integrated collaborative environment for the classroom
A significant opportunity presented by the availability of high-speed network access in the classroom is the ability to collaborate with remote students and mentors. To be success...
Philip L. Isenhour, John M. Carroll, Dennis C. Nea...
CISS
2010
IEEE
14 years 10 months ago
Transmission coordination for ad hoc networks
— AHNs are wireless networks operating without the benefits of network infrastructure (basestations) or centralized control. AHNs working with limited spectrum perform best when...
Ananth V. Kini, Steven Weber, Fadi A. Aloul, Nagar...