1313 search results - page 55 / 263 » Generic Universe Types |
IFL
2003
Springer
14 years 4 months ago
2003
Springer
It is important to be able to program GUI applications in a fast and easy manner. Current GUI tools for creating visually attractive applications offer limited functionality. In t...
SUTC
2010
IEEE
14 years 2 months ago
2010
IEEE
—A primary functionality of wireless sensor networks (WSNs) is transporting the information acquired by the sensors as per the desired application requirements. The diverse appli...
ECLIPSE
2005
ACM
14 years 24 days ago
2005
ACM
The heterogeneity and dynamism of today’s software systems make it difficult to assess the performance, correctness, or security of a system outside the actual time and context ...
ASIAN
2006
Springer
14 years 2 months ago
2006
Springer
Abstract. A type-theoretic framework for formal reasoning with different logical foundations is introduced and studied. With logic-enriched type theories formulated in a logical fr...
FP
1995
14 years 2 months ago
1995
We describe a natural language parser that uses type information to determine the grammatical structure of simple sentences and phrases. This stands in contrast to studies of type...