12289 search results - page 596 / 2458 » computing 2006 |
197
Voted
PUC
2008
15 years 6 months ago
2008
Abstract We consider the emergence of hybrid ecologies, which marry mixed reality environments and ubiquitous computing environments together to bridge the physical-digital divide....
167
Voted
JUCS
2010
15 years 5 months ago
2010
: Real world decisions often made in the presence of multiple, conflicting, and incommensurate criteria. Decision making requires multiple perspectives of different individuals as ...
186
click to vote
IPL
2000
15 years 6 months ago
2000
We examine the computational problem of generating all maximal models of a Boolean expression in CNF. We give a resolution-like method that reduces the unnegated variables of an e...
162
Voted
QUESTA
2007
15 years 6 months ago
2007
The present paper deals with the problem of calculating queue length distributions in a polling model with (exhaustive) k-limited service under the assumption of general arrival, ...
157
click to vote
IMSCCS
2006
IEEE
16 years 1 months ago
2006
IEEE
The computer architecture of Single-chip multiprocessor (SCMP) is one of important research topics in developing the next-generation of computer hardware. A verification environme...