Sciweavers

15253 search results - page 2735 / 3051
» Integer-Programming Software Systems
Sort
View
FOSSACS
2010
Springer
15 years 11 months ago
CIA Structures and the Semantics of Recursion
Final coalgebras for a functor serve as semantic domains for state based systems of various types. For example, formal languages, streams, nonwell-founded sets and behaviors of CCS...
Stefan Milius, Lawrence S. Moss, Daniel Schwencke
ICDCN
2010
Springer
15 years 11 months ago
An Intelligent IT Infrastructure for the Future
The proliferation of new modes of communication and collaboration has resulted in an explosion of digital information. To turn this challenge into an opportunity, the IT industry ...
Prith Banerjee
AVSS
2009
IEEE
15 years 11 months ago
Cost-Effective Solution to Synchronized Audio-Visual Capture Using Multiple Sensors
Abstract—Applications such as surveillance and human motion capture require high-bandwidth recording from multiple cameras. Furthermore, the recent increase in research on sensor...
Jeroen Lichtenauer, Michel François Valstar...
HICSS
2009
IEEE
104views Biometrics» more  HICSS 2009»
15 years 11 months ago
Multiple Social Networks Analysis of FLOSS Projects using Sargas
Due to their characteristics and claimed advantages, several researchers have been investigating free and open-source projects. Different aspects are being studied: for instance, ...
Samuel Felix de Sousa Jr., Marco Antonio Balieiro,...
HICSS
2009
IEEE
143views Biometrics» more  HICSS 2009»
15 years 11 months ago
Bridge Methods: Using a Balanced Project Practice Portfolio to Integrate Agile and Formal Process Methodologies
This paper examines the non-linear nature of progress on software projects. It asserts that this uneven accomplishment stems from the continuous need to drive value quickly in res...
Stephen J. Cohen, William H. Money
« Prev « First page 2735 / 3051 Last » Next »