16666 search results - page 401 / 3334 » Descriptive and Computational Complexity |
140
click to vote
ACMSE
2006
ACM
16 years 25 days ago
2006
ACM
This paper presents the preliminary findings of the Electronic Portfolio Student Perspective Instrument (EPSPI) developed to ascertain student attitudes and intended uses of ePort...
177
click to vote
MOBIHOC
2006
ACM
16 years 6 months ago
2006
ACM
To date, topology control in wireless ad hoc and sensor networks--the study of how to compute from the given communication network a subgraph with certain beneficial properties--h...
180
click to vote
VMCAI
2005
Springer
16 years 9 days ago
2005
Springer
When a system fails to satisfy its specification, the model checker produces an error trace (or counter-example) that demonstrates an undesirable behavior, which is then used in d...
173
click to vote
COMPGEOM
2010
ACM
15 years 11 months ago
2010
ACM
Normal surface theory is a central tool in algorithmic threedimensional topology, and the enumeration of vertex normal surfaces is the computational bottleneck in many important a...
191
click to vote
CMSB
2008
Springer
15 years 8 months ago
2008
Springer
Kinetic models for biochemical systems often comprise a large amount of coupled differential equations with species concentrations varying on different time scales. In this paper w...