5244 search results - page 804 / 1049 » Structural Complexity of AvgBPP |
193
click to vote
DEXAW
2002
IEEE
15 years 11 months ago
2002
IEEE
One characteristic of the next generation wireless mobile environments is a high level of interoperability between mobile applications and services. This imposes significant dema...
161
click to vote
DSD
2002
IEEE
15 years 11 months ago
2002
IEEE
In this paper we describe a methodology for the formal verification of a DSP chip using the HOL theorem prover. We used an iterative method to specify both the behavioral and stru...
160
click to vote
EH
2002
IEEE
15 years 11 months ago
2002
IEEE
Mapping between genotype and phenotype using a model of biological development has been widely touted as a technique for evolving solutions to large, complex problems [1-3]. Here ...
164
click to vote
HICSS
2002
IEEE
15 years 11 months ago
2002
IEEE
Whereas previous studies have been primarily focused on the structural features of Information Technology governance, this paper describes an exploratory study of IT governance pr...
189
click to vote
ICTAI
2002
IEEE
15 years 11 months ago
2002
IEEE
The recent success of XML as a standard to represent semi-structured data, and the increasing amount of available XML data, pose new challenges to the data mining community. In th...