4770 search results - page 595 / 954 » Flexible Type Analysis |
194
click to vote
CC
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. Xtatic is a lightweight extension of C offering native support for statically typed XML processing. XML trees are built-in values in Xtatic, and static analysis of the t...
180
click to vote
CIKM
2005
Springer
16 years 9 days ago
2005
Springer
We investigates language models for informational and navigational web search. Retrieval on the web is a task that differs substantially from ordinary ad hoc retrieval. We perfor...
174
click to vote
ICLP
2005
Springer
16 years 8 days ago
2005
Springer
Any finite tree automaton (or regular type) can be used to construct act interpretation of a logic program, by first determinising and completing the automaton to get a pre-inter...
183
click to vote
MIDDLEWARE
2005
Springer
16 years 8 days ago
2005
Springer
Unstructured peer-to-peer networks are frequently used as the overlay in various middleware toolkits for emerging applications, from content discovery to query result caching to di...
180
click to vote
PEWASUN
2004
ACM
16 years 6 days ago
2004
ACM
Interferences in an ad-hoc network can be defined as a set of constraints that specify which groups of nodes cannot transmit simultaneously, and they have significant implications...