19798 search results - page 183 / 3960 » Is Structural Subtyping Useful |
CEC
2005
IEEE
14 years 4 months ago
2005
IEEE
AbstractThe principle of cooperation influences our everyday lives. This conflict between individual and collective rationality can be modelled through the use of social dilemmas...
CORR
2010
Springer
13 years 10 months ago
2010
Springer
We provide the first linear-space data structure with provable sublinear query time for exact point-topoint shortest path queries in planar graphs. We prove that for any planar gr...
SIGCSE
1999
ACM
14 years 2 months ago
1999
ACM
We present two tools to support the teaching of data structures and algorithms: Visualizers, which provide interactive visualizations of user-written data structures, and Testers,...
CIARP
2008
Springer
14 years 12 days ago
2008
Springer
We present a method for on-line mathematical formulae recognition based on the structural construction paradigm and twodimensional grammars. In general, this approach can be succes...
ACL
2006
13 years 11 months ago
2006
Abstract--With the availability of large corpora of spoken dialog, it is now possible to use data-driven techniques to build and use models of task-oriented dialogs. In this paper,...