Sciweavers

3782 search results - page 9 / 757

» Engineering Social Order

69

EMSOFT
2008
Springer

78views Software Engineering» more EMSOFT 2008»

Event order abstraction for parametric real-time system verification

14 years 11 months ago

Event order abstraction for parametric real-time system verification

Download www.cecs.uci.edu

Shinya Umeno

claim paper

Read More »

101

Voted

APPML
2011

255views Software Engineering» more APPML 2011»

Model order determination using the Hankel matrix of impulse responses

14 years 4 months ago

Model order determination using the Hankel matrix of impulse responses

Download www.ece.ualberta.ca

Huanhuan Yin, Zhifang Zhu, Feng Ding

claim paper

Read More »

69

SIAMJO
2011

234views Software Engineering» more SIAMJO 2011»

A First-Order Smoothed Penalty Method for Compressed Sensing

14 years 4 months ago

A First-Order Smoothed Penalty Method for Compressed Sensing

Download www.columbia.edu

N. S. Aybat, G. Iyengar

claim paper

Read More »

59

VLSI
2010
Springer

72views Software Engineering» more VLSI 2010»

Order is power: Selective Packet Interleaving for energy efficient Networks-on-Chip

14 years 4 months ago

Order is power: Selective Packet Interleaving for energy efficient Networks-on-Chip

Download tx.technion.ac.il

Amit Berman, Ran Ginosar, Idit Keidar

claim paper

Read More »

114

LORI
2009
Springer

229views Artificial Intelligence» more LORI 2009»

First-Order Logic Formalisation of Arrow's Theorem

15 years 4 months ago

First-Order Logic Formalisation of Arrow's Theorem

Download staff.science.uva.nl

Arrow’s Theorem is a central result in social choice theory. It states that, under certain natural conditions, it is impossible to aggregate the preferences of a ﬁnite set of i...

Umberto Grandi, Ulle Endriss

claim paper

Read More »

« Prev « First page 9 / 757 Last » Next »