Sciweavers

6740 search results - page 680 / 1348
» Using Classification as a Programming Language
Sort
View
CHI
2005
ACM
16 years 7 months ago
TRIBA: a cable television retrieval & awareness system
This paper discusses the design of a physical and digital system intended to allow for easy manipulation and interaction with the tremendous amount of options present in advanced ...
Michael Tseng, Jon Kolko
CORR
2008
Springer
155views Education» more  CORR 2008»
15 years 6 months ago
AceWiki: A Natural and Expressive Semantic Wiki
We present AceWiki, a prototype of a new kind of semantic wiki using the controlled natural language Attempto Controlled English (ACE) for representing its content. ACE is a subse...
Tobias Kuhn
TLDI
2009
ACM
142views Formal Methods» more  TLDI 2009»
16 years 3 months ago
Static extraction of sound hierarchical runtime object graphs
For many object-oriented systems, it is often useful to have a runtime architecture that shows networks of communicating objects. But it is hard to statically extract runtime obje...
Marwan Abi-Antoun, Jonathan Aldrich
ICFP
2000
ACM
15 years 10 months ago
Fully reflexive intensional type analysis
Compilers for polymorphic languages can use runtime type inspection to support advanced implementation techniques such as tagless garbage collection, polymorphic marshalling, and ...
Valery Trifonov, Bratin Saha, Zhong Shao
ROBOCUP
2000
Springer
120views Robotics» more  ROBOCUP 2000»
15 years 10 months ago
Towards a Logical Approach for Soccer Agents Engineering
Building agents for a scenario such as the RoboCup simulation league requires not only methodologies for implementing high-level complex behavior, but also the careful and efficien...
Jan Murray, Oliver Obst, Frieder Stolzenburg