3557 search results - page 135 / 712 » Authoring Presentation for OpenMath |
135
click to vote
DM
2008
15 years 6 months ago
2008
LR design is introduced by the second author in his recent paper, and it plays a very important role in the construction of LKTS (a large set of disjoint Kirkman triple system). I...
154
click to vote
DT
2006
15 years 6 months ago
2006
gn: abstraction and reuse. The authors present an ESL design flow using the Gezel language. Using several very different design examples, they this design flow supports their case ...
113
click to vote
ACS
2005
15 years 6 months ago
2005
Abstract: In this paper we present a unified study of functorial frame quasiuniformities by means of Weil entourages and frame congruences. In particular, we use the pointfree vers...
134
click to vote
RSKT
2007
Springer
16 years 15 days ago
2007
Springer
Abstract. Consumer research has indicated that consumers use compensatory and non-compensatory decision strategies when formulating their purchasing decisions. Compensatory decisio...
138
click to vote
ASPLOS
2006
ACM
16 years 11 days ago
2006
ACM
Unbeknownst to many computer users, their machines are running malware. Others are aware that strange software inhabits their machine, but cannot get rid of it. In this paper, we ...