Sciweavers

786 search results - page 45 / 158
» A static theory of promises
Sort
View
CVPR
2005
IEEE
15 years 12 months ago
Semi-Supervised Learning Based Object Detection in Aerial Imagery
Object detection in aerial imagery has been well studied in computer vision for years. However, given the complexity of large variations of the appearance of the object and the ba...
Jian Yao, Zhongfei (Mark) Zhang
ICSE
2005
IEEE-ACM
15 years 10 months ago
Beyond computer science
Computer science is necessary but not sufficient to understand and overcome the problems we face in software engineering. We need to understand not only the properties of the soft...
James D. Herbsleb
HICSS
2007
IEEE
85views Biometrics» more  HICSS 2007»
15 years 4 months ago
Neither Here nor There: Knowledge Sharing and Transfer with Proactive Structuration
Information technologies hold great promise in their ability to link distributed workers, allowing organizations to take advantage of the potential benefits of effectively gatheri...
Terri L. Griffith, Mark A. Fuller, Gregory B. Nort...
FOSSACS
2004
Springer
15 years 3 months ago
Strong Bisimulation for the Explicit Fusion Calculus
The pi calculus holds the promise of compile-time checks for whether a given program will have the correct interactive behaviour. The theory behind such checks is called bisimulati...
Lucian Wischik, Philippa Gardner
CIA
1998
Springer
15 years 2 months ago
Cooperative vs. Competitive Multi-Agent Negotiations in Retail Electronic Commerce
A key lesson learned from economic and game theory research is that negotiation protocols have substantial, rippling effects on the overall nature of the system. online auctions a...
Robert H. Guttman, Pattie Maes