1999 search results - page 217 / 400 » Dependently Typed Grammars |
206
click to vote
ICLP
2005
Springer
16 years 19 hour ago
2005
Springer
Abstract. We instrument a higher-order logic programming search procedure to generate and check small proof witnesses for the Twelf system, an implementation of the logical framewo...
187
click to vote
NPC
2005
Springer
16 years 4 hour ago
2005
Springer
Efficient loop scheduling on parallel and distributed systems depends mostly on load balancing, especially on heterogeneous PC-based cluster and grid computing environments. In thi...
265
click to vote
SPC
2005
Springer
15 years 12 months ago
2005
Springer
The ephemeral pairing problem requires two or more specific physical nodes in a wireless broadcast network, that do not yet know each other, to establish a short-term relationship...
140
click to vote
WEBI
2005
Springer
15 years 12 months ago
2005
Springer
As the number of web services in repositories on the World Wide Web increases so will the number of complex configurations of web services. However, as the World Wide Web is dynam...
191
click to vote
EUC
2005
Springer
15 years 12 months ago
2005
Springer
Many sensors providing situation data will be in everywhere under the ubiquitous environment. It requires the current RFID system should be extended to recognize and use situation ...