2086 search results - page 127 / 418 » Mathematical Theory Exploration |
121
Voted
ITP
2002
15 years 3 months ago
2002
Presents a theoretical approach to understanding the local culture of firms in the multinational information sector. Called situating culture, this approach holds that cultural und...
165
Voted
WER
2010
Springer
15 years 1 months ago
2010
Springer
Feature models are commonly used to capture the commonality and the variability of product families. There are several feature model notations that correspondingly depict the conce...
148
Voted
ACSC
2005
IEEE
15 years 9 months ago
2005
IEEE
Novel, high-throughput technologies are challenging the core of algorithmic methods available in Computer Science. Microarray technologies give Life Sciences researchers the oppor...
123
Voted
ISIPTA
2005
IEEE
15 years 9 months ago
2005
IEEE
Normative study of probability-agreeing orderings of propositions, much of it rooted in a false but evocative conjecture of Bruno de Finetti, has typically sought to credal ration...
126
Voted
JAR
2007
15 years 3 months ago
2007
The vision of a computerised assistant to mathematicians has existed since the inception of theorem proving systems. The Alcor system has been designed to investigate and explore h...