1418 search results - page 52 / 284 » The Dynamic Complexity of Formal Languages |
FPL
2004
Springer
15 years 7 months ago
2004
Springer
Complex SoC and platform-based designs require integration of configurable IP cores from multiple sources. Even automatic compilation flows from a high-level description to HW/SW s...
109
click to vote
SDL
2007
15 years 3 months ago
2007
Abstract. It is still the case that language descriptions have lots of semantic information captured using plain (English) text. These imprecise descriptions are hardly usable for ...
AI
2007
Springer
15 years 8 months ago
2007
Springer
Complex Nominals (CNs) have simple syntactic structure that conceals non-trivial semantic characteristics. While speakers of natural languages combine noun(s)/adjective(s) with a h...
ACL
2006
15 years 3 months ago
2006
This paper explores the role of information retrieval in answering "relationship" questions, a new class complex information needs formally introduced in TREC 2005. Sinc...
127
click to vote
IFL
2005
Springer
15 years 7 months ago
2005
Springer
Abstract. This paper considers the use of dependent types to capture information about dynamic resource usage in a static type system. Dependent types allow us to give (explicit) p...