2911 search results - page 503 / 583 » A Theory of Expressiveness in Mechanisms |
ICS
2010
Tsinghua U.
15 years 7 months ago
2010
Tsinghua U.
feuse of its devstting eets in utions nd other mehnismsD ollusion is prohiited nd leglly proseutedF etD olluders hve lwys existedD nd my ontinue to existF e thus rise the followin...
PEPM
2009
ACM
15 years 6 months ago
2009
ACM
We show that a wide class of bidirectional data-flow analyses and program optimizations based on them admit declarative descriptions in the form of type systems. The salient feat...
ICRA
2008
IEEE
15 years 4 months ago
2008
IEEE
—Capsule endoscopy is a promising technique for diagnosing diseases in the small intestines. Here we propose a miniature swimming mechanism that uses MRI’s magnetic fields for ...
IDEAS
2008
IEEE
15 years 4 months ago
2008
IEEE
With more and more natural language text stored in databases, handling respective query predicates becomes very important. Optimizing queries with predicates includes (sub)string ...
AIIA
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. Game generation systems perform automated, intelligent design of games (i.e. videogames, boardgames), reasoning about both the rule system of the game and the visual real...