15416 search results - page 73 / 3084 » Embeddings of Computable Structures |
123
Voted
DIAGRAMS
2004
Springer
15 years 6 months ago
2004
Springer
— Smart Diagram Environments (SDEs) are software applications that use structured diagrams to provide a natural visual interface that behaves as if the computer “understands”...
119
Voted
ACL
2004
15 years 2 months ago
2004
Temporal relation resolution involves extraction of temporal information explicitly or implicitly embedded in a language. This information is often inferred from a variety of inte...
CAD
2007
Springer
15 years 24 days ago
2007
Springer
Systematically generalizing planar geometric algorithms to manifold domains is of fundamental importance in computer aided design field. This paper proposes a novel theoretic fra...
185
click to vote
DAC
2011
ACM
14 years 18 days ago
2011
ACM
Variations in delay caused by within-die and die-to-die process variations and SOI history effect increase timing margins and reduce performance. In order to develop mitigation te...
126
click to vote
PROMAS
2005
Springer
15 years 6 months ago
2005
Springer
3APL-M is a platform for building deliberative multi-agent systems whose components execute on handheld and embedded computational devices. The solution takes advantage of the 3APL...