2087 search results - page 329 / 418 » Computation of class numbers of quadratic number fields |
166
click to vote
ICCS
2007
Springer
15 years 10 months ago
2007
Springer
Knowledge representation (KR) is used to store and retrieve meaningful data. This data is saved using dynamic data structures that are suitable for the style of KR being implemente...
183
click to vote
CONCUR
2006
Springer
15 years 10 months ago
2006
Springer
Boolean programs with recursion are convenient abstractions of sequential imperative programs, and can be represented as recursive state machines (RSMs) or pushdown automata. Motiv...
154
click to vote
DIS
2006
Springer
15 years 10 months ago
2006
Springer
Mars probes send back to Earth enormous amount of data. Automating the analysis of this data and its interpretation represents a challenging test of significant benefit to the doma...
162
click to vote
DNA
2006
Springer
15 years 10 months ago
2006
Springer
Self-repair is essential to all living systems, providing the ability to remain functional in spite of gradual damage. In the context of self-assembly of self-repairing synthetic b...
186
click to vote
MOBIHOC
2000
ACM
15 years 10 months ago
2000
ACM
AbstractDeveloping wireless sensor networks can enable information gathering, information processing and reliable monitoring of a variety of environments for both civil and militar...