10568 search results - page 690 / 2114 » Computer Intelligence and Formalization |
187
click to vote
ICIP
2009
IEEE
16 years 8 months ago
2009
IEEE
Image classification often relies on texture characterization. Yet texture characterization has so far rarely been based on a true 2D multifractal analysis. Recently, a 2D wavelet...
141
click to vote
CHI
2007
ACM
16 years 7 months ago
2007
ACM
Recent world-wide crisis events have drawn new attention to the role information communication technology (ICT) can play in warning and response activities. Drawing on disaster so...
217
click to vote
CHI
2002
ACM
16 years 7 months ago
2002
ACM
When creating techniques for manipulating objects at a distance in immersive virtual environments, researchers have primarily focused on increasing selection range, placement rang...
179
click to vote
SAC
2010
ACM
16 years 2 months ago
2010
ACM
KAOS is a goal directed requirements engineering framework based on the decomposition and refinement of goals. Decomposition and refinement continue until a point is reached at ...
183
click to vote
GLVLSI
2009
IEEE
16 years 1 months ago
2009
IEEE
In the context of formal verification Bounded Model Checking (BMC) has shown to be very powerful for large industrial designs. BMC is used to check whether a circuit satisfies a...