382 search results - page 34 / 77 » Generalized Multitext Grammars |
187
click to vote
ATAL
2010
Springer
15 years 4 months ago
2010
Springer
In this paper we present a system that automatically generates a 3D virtual world from a virtual institution (VI) specification, namely of activities that will take place in the v...
120
click to vote
SIGSOFT
2008
ACM
16 years 3 months ago
2008
ACM
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging and network security. However, such important info...
112
click to vote
WWW
2005
ACM
16 years 3 months ago
2005
ACM
Server-side programming is one of the key technologies that support today's WWW environment. It makes it possible to generate Web pages dynamically according to a user's...
122
click to vote
CADE
2006
Springer
16 years 3 months ago
2006
Springer
Context Unification is the problem to decide for a given set of second-order equations E where all second-order variables are unary, whether there exists a unifier, such that for e...
134
click to vote
STOC
2007
ACM
16 years 3 months ago
2007
ACM
Monotone systems of polynomial equations (MSPEs) are systems of fixed-point equations X1 = f1(X1, . . . , Xn), . . . , Xn = fn(X1, . . . , Xn) where each fi is a polynomial with p...