Sciweavers

2105 search results - page 122 / 421
» Grouping with Directed Relationships
Sort
View
ACMDIS
2010
ACM
13 years 10 months ago
HCI and environmental sustainability: the politics of design and the design of politics
Many HCI researchers have recently begun to examine the opportunities to use ICTs to promote environmental sustainability and ecological consciousness on the part of technology us...
Paul Dourish
AR
2008
95views more  AR 2008»
13 years 10 months ago
Translating Structured English to Robot Controllers
Recently, Linear Temporal Logic (LTL) has been successfully applied to high-level task and motion planning problems for mobile robots. One of the main attributes of LTL is its clo...
Hadas Kress-Gazit, Georgios E. Fainekos, George J....
ENTCS
2008
118views more  ENTCS 2008»
13 years 10 months ago
Coinductive Characterisations Reveal Nice Relations Between Preorders and Equivalences
There are two ways to define a semantics for process algebras: either directly by means of an equivalence relation or by means of a preorder whose kernel is the desired equivalenc...
David de Frutos-Escrig, Carlos Gregorio-Rodr&iacut...
BMCBI
2007
94views more  BMCBI 2007»
13 years 10 months ago
Transcriptional regulation at a glance
Considering that 80 genomes have been sequenced, providing us with the static information of the genome, it is still a long way to reveal the relationship between complex genotype...
Silke Sperling
TSP
2008
174views more  TSP 2008»
13 years 10 months ago
Complex ICA Using Nonlinear Functions
We introduce a framework based on Wirtinger calculus for nonlinear complex-valued signal processing such that all computations can be directly carried out in the complex domain. Th...
Tülay Adali, Hualiang Li, Mike Novey, J.-F. C...