10602 search results - page 1803 / 2121 » Weakly Useful Sequences |
199
Voted
MIDDLEWARE
2009
Springer
16 years 2 months ago
2009
Springer
Abstract. Pervasive computing applications often entail continuous monitoring tasks, issuing persistent queries that return continuously updated views of the operational environmen...
176
Voted
MODELS
2009
Springer
16 years 2 months ago
2009
Springer
A well known challenge in the formal methods domain is to improve their integration with practical engineering methods. In the context of embedded systems, model checking requires ...
197
Voted
COMPGEOM
2009
ACM
16 years 2 months ago
2009
ACM
We revisit the problem of computing the topology and geometry of a real algebraic plane curve. The topology is of prime interest but geometric information, such as the position of...
178
click to vote
MM
2009
ACM
16 years 2 months ago
2009
ACM
Potential users of audio production software, such as audio equalizers, may be discouraged by the complexity of the interface. We describe a system that simplifies the interface b...
222
Voted
BIBM
2008
IEEE
16 years 2 months ago
2008
IEEE
Abstract—The exact relationship between protein active centers and protein functions is unclear even after decades of intensive study. To improve the functional prediction abilit...