Sciweavers

6599 search results - page 1142 / 1320
» Towards a Theory of Information
Sort
View
76
Voted
VL
2009
IEEE
118views Visual Languages» more  VL 2009»
15 years 5 months ago
What designers want: Needs of interactive application designers
Designers’ extensive software needs have not been adequately documented in the research literature, and are poorly supported by software. Without appropriate tools to support th...
Valentina Grigoreanu, Roland Fernandez, Kori Inkpe...
KBSE
2009
IEEE
15 years 5 months ago
SMT-Based Bounded Model Checking for Embedded ANSI-C Software
Propositional bounded model checking has been applied successfully to verify embedded software but is limited by the increasing propositional formula size and the loss of structur...
Lucas Cordeiro, Bernd Fischer, João Marques...
109
Voted
INFOCOM
2009
IEEE
15 years 4 months ago
Exact Analysis of Latency of Stateless Opportunistic Forwarding
Abstract—Stateless opportunistic forwarding is a simple faulttolerant distributed approach for data delivery and information querying in wireless ad hoc networks, where packets a...
Chi-Kin Chau, Prithwish Basu
75
Voted
IWPC
2009
IEEE
15 years 4 months ago
Reading the documentation of invoked API functions in program comprehension
Comprehending an unfamiliar code fragment requires an awareness of explicit usage directives that may be present in the documentation of some invoked functions. Since it is not pr...
Uri Dekel, James D. Herbsleb
76
Voted
ACIVS
2009
Springer
15 years 4 months ago
Image Categorization Using ESFS: A New Embedded Feature Selection Method Based on SFS
Abstract. Feature subset selection is an important subject when training classifiers in Machine Learning (ML) problems. Too many input features in a ML problem may lead to the so-...
Huanzhang Fu, Zhongzhe Xiao, Emmanuel Dellandr&eac...
« Prev « First page 1142 / 1320 Last » Next »