5630 search results - page 106 / 1126 » Computability in Specification |
134
click to vote
PERCOM
2007
ACM
16 years 3 months ago
2007
ACM
In this paper, we report on a user-centered, iterative design process for augmenting sports equipment with ubiquitous computing technology. In several design iterations, a fully w...
135
click to vote
HICSS
2007
IEEE
15 years 10 months ago
2007
IEEE
Computer forensics is a relatively new, but growing, field of study at the undergraduate college and university level. This paper describes some of the course design aspects of te...
110
click to vote
SKG
2006
IEEE
15 years 10 months ago
2006
IEEE
Effective document classification is a long-pursued goal in knowledge management. This paper proposes a novel hybrid approach of semantic representation and statistical measuremen...
146
click to vote
CASC
2006
Springer
15 years 7 months ago
2006
Springer
Homological Perturbation Theory [11, 13] is a well-known general method for computing homology, but its main algorithm, the Basic Perturbation Lemma, presents, in general, high com...
230
click to vote
GIS
2008
ACM
16 years 5 months ago
2008
ACM
Isochrones are defined as the set of all points from which a specific point of interest is reachable within a given time span. This demo paper presents a solution to compute isoch...