7820 search results - page 399 / 1564 » Formalization of Time and Space |
206
click to vote
JANCL
2002
15 years 7 months ago
2002
A topological constraint language is a formal language whose variables range over certain subsets of topological spaces, and whose nonlogical primitives are interpreted as topologi...
202
click to vote
HICSS
2003
IEEE
16 years 28 days ago
2003
IEEE
It has been over two decades since Group Support Systems (GSS) emerged on the Information Technology (IT) scene. GSS have now been commercialized and are present in an increasing ...
238
click to vote
ISCAPDCS
2004
15 years 9 months ago
2004
This paper describes a collaboration among computer scientists, dancers, and musicians on a production entitled "Fibonacci and Phi." Thematically, the production explore...
209
click to vote
JMLR
2008
15 years 7 months ago
2008
In this paper we develop a theoretical analysis of the performance of sampling-based fitted value iteration (FVI) to solve infinite state-space, discounted-reward Markovian decisi...
176
click to vote
SEW
2005
IEEE
16 years 1 months ago
2005
IEEE
A challenging problem for software engineering practitioners is moving from high-level system architectures produced by system engineers to deployable software produced by softwar...