3006 search results - page 185 / 602 » Overview |
113
Voted
DICTA
2007
15 years 5 months ago
2007
The acceptance of reconfigurable platforms specifically FPGAs in embedded system design is becoming more apparent. While there are varieties of platforms available for smart cam...
128
Voted
FMOODS
2007
15 years 5 months ago
2007
Abstract. This paper gives an overview of the KeY approach and highlights the main features of the KeY system. KeY is an approach (and a system) for the deductive verification of ...
86
Voted
HCI
2007
15 years 5 months ago
2007
A kitchen is a place where food is prepared and education and communication activities relating to food are carried out. As it is a place that witnesses more activity when compared...
127
Voted
HCI
2007
15 years 5 months ago
2007
A method of drawing anchored maps for bipartite graphs is presented. Suppose that the node set of a bipartite graph is divided into set A and set B. On an anchored map of the bipar...
89
Voted
HCI
2007
15 years 5 months ago
2007
We discuss the privacy issues related to the design of systems that disclose information about emotions to remote acquaintances, without simultaneous communication: users do not ch...