4298 search results - page 710 / 860 » Measurable chromatic numbers |
162
click to vote
KBSE
2005
IEEE
16 years 3 days ago
2005
IEEE
The use of web applications has become increasingly popular in our routine activities, such as reading the news, paying bills, and shopping on-line. As the availability of these s...
165
click to vote
MSWIM
2005
ACM
16 years 2 days ago
2005
ACM
The performance of mobile ad hoc networks can be influenced by numerous factors, including protocol design at every layer; parameter settings such as retransmission limits and ti...
179
click to vote
SIGIR
2005
ACM
16 years 2 days ago
2005
ACM
The TREC .GOV collection makes a valuable web testbed for distributed information retrieval methods because it is naturally partitioned and includes 725 web-oriented queries with ...
155
click to vote
GFKL
2005
Springer
16 years 1 days ago
2005
Springer
Abstract. Existing methods to text plagiarism analysis mainly base on “chunking”, a process of grouping a text into meaningful units each of which gets encoded by an integer nu...
187
click to vote
IFL
2005
Springer
16 years 23 hour 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...