Sciweavers

24095 search results - page 284 / 4819
» Researchers and Development - Young Researches
Sort
View
CADE
2009
Springer
16 years 7 months ago
Progress in the Development of Automated Theorem Proving for Higher-Order Logic
The Thousands of Problems for Theorem Provers (TPTP) problem library is the basis of a well established infrastructure supporting research, development, and deployment of first-ord...
Chad E. Brown, Christoph Benzmüller, Frank Th...
FGCN
2008
IEEE
161views Communications» more  FGCN 2008»
16 years 1 months ago
The Development of Software Pricing Schemata and Its Application to Software Industry in Korea
The purpose of this this research is to suggest comprehensive pricing schemata that software developers can use in the integrated state of software uses. To do so, we have reviewe...
Youngsik Kwak, Yunkyung Lee, Yoonsik Kwak
AROBOTS
2007
119views more  AROBOTS 2007»
15 years 6 months ago
Development environments for autonomous mobile robots: A survey
Robotic Development Environments (RDEs) have come to play an increasingly important role in robotics research in general, and for the development of architectures for mobile robot...
James F. Kramer, Matthias Scheutz
HICSS
2002
IEEE
151views Biometrics» more  HICSS 2002»
15 years 11 months ago
The Study of Information System Development (ISD) Process from the Perspectives of Power Development Stage and Organizational Po
This paper is to study the information system development (ISD) by looking into fifty-six cases from the perspectives of power development stage and organizational politics. We in...
Ling-hsing Chang, Tung-Ching Lin, Sheng Wu
HICSS
2011
IEEE
210views Biometrics» more  HICSS 2011»
14 years 10 months ago
Different Paths to Broadband Access: The Impact of Governance and Policy on Broadband Diffusion in the Developed and Developing
A new digital divide is emerging both within and between nations that is due to inequalities in broadband Internet access. Our research examines the broadband digital divide by an...
David J. Yates, Girish J. Gulati, Joseph W. Weiss