4930 search results - page 55 / 986 » Learning minimal abstractions |
107
Voted
WIA
2001
Springer
15 years 5 months ago
2001
Springer
Abstract. We present a reflection on the evolution of the different methods for constructing minimal deterministic acyclic finite-state automata from a finite set of words. We ...
73
Voted
NIPS
2007
15 years 1 months ago
2007
Extensive games are a powerful model of multiagent decision-making scenarios with incomplete information. Finding a Nash equilibrium for very large instances of these games has re...
CIE
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We consider an extensional version, called qmTT, of the intensional Minimal Type Theory mTT, introduced in a previous paper with G. Sambin, enriched with proof-irrelevanc...
CAIP
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. In this paper, we present an experimental work using a MOCAP system and an iterative minimization technique to compute damping parameters and to measure their contributio...
112
Voted
ICCS
2005
Springer
15 years 6 months ago
2005
Springer
Abstract. Complex tensor contraction expressions arise in accurate electronic structure models in quantum chemistry, such as the Coupled Cluster method. Transformations using algeb...