535 search results - page 31 / 107 » Do we need dependent types |
SPC
2005
Springer
14 years 1 months ago
2005
Springer
Alice first meets Bob in an entertainment shop, then, they wish to share multimedia content, but Do they know what are trustworthy users? How do they share such information in a s...
LICS
1989
IEEE
13 years 11 months ago
1989
IEEE
We describe Elf, a metalanguage for proof manipulation environments that are independent of any particular logical system. Elf is intended for meta-programs such as theorem prover...
BMCBI
2006
13 years 7 months ago
2006
Background: Accurate methods for extraction of meaningful patterns in high dimensional data have become increasingly important with the recent generation of data types containing ...
CHI
1997
ACM
13 years 12 months ago
1997
ACM
Critiquing systems are a type of active, knowledge-based design support system. They propose to positively influence designers’ cognitive processes by pointing out potential pro...
EJIS
2006
13 years 7 months ago
2006
In many types of activities, communicative and material activities are so intertwined that the one cannot be understood without taking the other into account. This is true of mari...