2819 search results - page 355 / 564 » Automatic Structures |
161
click to vote
SIGSOFT
2010
ACM
14 years 11 months ago
2010
ACM
Specification and verification of real-time systems are important research topics which have practical implications. In this work, we present a self-contained toolkit to analyze r...
163
click to vote
ACL
2011
14 years 7 months ago
2011
Via an oracle experiment, we show that the upper bound on accuracy of a CCG parser is significantly lowered when its search space is pruned using a supertagger, though the supert...
150
Voted
CG
2011
Springer
14 years 7 months ago
2011
Springer
The automatic generation of volumes bounding the intersection of two implicit surfaces (isosurfaces of real functions of 3D point coordinates) or Feature Based Volumes (FBV) is pr...
134
click to vote
POPL
2011
ACM
14 years 7 months ago
2011
ACM
Containers are general-purpose data structures that provide functionality for inserting, reading, removing, and iterating over elements. Since many applications written in modern ...
151
click to vote
AAAI
2011
14 years 4 months ago
2011
A general game player automatically learns to play arbitrary new games solely by being told their rules. For this purpose games are specified in the game description language GDL...