1280 search results - page 147 / 256 » Soft Typing with Conditional Types |
PDPTA
2003
13 years 10 months ago
2003
— In this paper, we propose a powerful and convenient querying model, "Queryball", for users to query in immersive VR systems. In immersive VR systems, users expect int...
ACL
1998
13 years 10 months ago
1998
We propose a comprehensive theory of codemixed discourse, encompassing equivalencepoint and insertional code-switching, palindromic constructions and lexical borrowing. The starti...
AAMAS
2008
Springer
13 years 9 months ago
2008
Springer
Abstract Multi-agent simulation is applied to explore how different types of task variety cause workgroups to change their task allocation accordingly. We studied two groups, gener...
CORR
2006
Springer
13 years 9 months ago
2006
Springer
The refinement calculus for logic programs is a framework for deriving logic programs from specifications. It is based on a wide-spectrum language that can express both specificat...
FUIN
2006
13 years 9 months ago
2006
Many different definitions of computational universality for various types of dynamical systems have flourished since Turing's work. We propose a general definition of univers...