1819 search results - page 282 / 364 » Computability and Representations of the Zero Set |
ISPDC
2008
IEEE
15 years 4 months ago
2008
IEEE
Identifying and inferring performances of a network topology is a well known problem. Achieving this by using only end-to-end measurements at the application level is a method kno...
IEEESCC
2007
IEEE
15 years 4 months ago
2007
IEEE
Knowledge of neuronal circuitry is foundational to the neurosciences, but no tools have been developed for cataloguing this knowledge. Part of the problem is that the concepts use...
SEMCO
2007
IEEE
15 years 4 months ago
2007
IEEE
A clustering method is presented which can be applied to knowledge bases storing semantically annotated resources. The method can be used to discover groupings of structured objec...
CAV
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. A temporal interface for a software component is a finite automaton that specifies the legal sequences of calls to functions that are provided by the component. We comp...
HUC
2007
Springer
15 years 4 months ago
2007
Springer
We describe our experience building and using a reasoning system for providing context-based prompts to elders to take their medication. We describe the process of specification, ...