3408 search results - page 361 / 682 » Logic, language, information and computation |
212
Voted
TLDI
2005
ACM
16 years 12 days ago
2005
ACM
Completely annotated lambda terms (such as are arrived at via the straightforward encodings of various types from System F) contain much redundant type information. Consequently, ...
170
click to vote
HCI
2009
15 years 4 months ago
2009
For enhancing current driver assistance and information systems with regard to the capability to recognize an individual driver's needs, we conceive a system based on fuzzy lo...
147
click to vote
IPPS
1998
IEEE
15 years 11 months ago
1998
IEEE
Circuit-switched Banyan interconnection networks can be built from simple switching elements that do not have logical processing or buffering capabilities. This paper describes a ...
170
click to vote
DAC
1996
ACM
15 years 11 months ago
1996
ACM
Recent trends in the semiconductor industry have resulted in an increasing demand for low power circuits. POSE is a step in providing the EDA community and academia with an enviro...
164
click to vote
AMDO
2006
Springer
15 years 10 months ago
2006
Springer
This paper describes the design and implementation of a module of emotions and personality for synthetic actors. Here are presented the results of previous researches, which were t...