7978 search results - page 418 / 1596 » Representation before computation |
193
Voted
ASP
2005
Springer
16 years 12 days ago
2005
Springer
Despite all efforts on intelligent grounding, state-of-the-art answer set solvers still have huge memory requirements, because they compute the ground instantiation of the input pr...
179
click to vote
FCT
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We investigate bottom-up and top-down deterministic automata on unranked trees. We show that for an appropriate definition of bottom-up deterministic automata it is poss...
170
click to vote
ICLP
2005
Springer
16 years 11 days ago
2005
Springer
Answer set programming (ASP for short) is a declarative problem solving framework that has been recently attracting the attention of researchers for its expressiveness and for its...
156
Voted
ICN
2005
Springer
16 years 11 days ago
2005
Springer
In cellular networks, a frame size is generally made small to reduce the impact of errors. Thus, a segment of transport layer is splitted into multiple frames before transmission. ...
149
click to vote
IPOM
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. Fast Handovers is an enhancement to the Mobile IPv6 protocol, currently specified in an IETF draft, which reduces the handover latency. This can be beneficial to real-t...