Sciweavers

2131 search results - page 25 / 427
» Immunity for Closed Sets
Sort
View
ICSE
2004
IEEE-ACM
14 years 11 months ago
Automated Generation of Test Programs from Closed Specifications of Classes and Test Cases
Most research on automated specification-based software testing has focused on the automated generation of test cases. Before a software system can be tested, it must be set up ac...
Wee Kheng Leow, Siau-Cheng Khoo, Yi Sun
HUC
2004
Springer
14 years 4 months ago
WatchMe: Communication and Awareness Between Members of a Closely-Knit Group
WatchMe is a personal communicator with context awareness in a wristwatch form; it is meant to keep intimate friends and family always connected via awareness cues and text, voice ...
Natalia Marmasse, Chris Schmandt, David Spectre
SIGIR
2011
ACM
13 years 1 months ago
Picasso - to sing, you must close your eyes and draw
We study the problem of automatically assigning appropriate music pieces to a picture or, in general, series of pictures. This task, commonly referred to as soundtrack suggestion,...
Aleksandar Stupar, Sebastian Michel
ECCV
2004
Springer
15 years 24 days ago
A Closed-Form Solution to Non-rigid Shape and Motion Recovery
Recovery of three dimensional (3D) shape and motion of non-static scenes from a monocular video sequence is important for applications like robot navigation and human computer inte...
Jing Xiao, Jinxiang Chai, Takeo Kanade
JNCA
2008
104views more  JNCA 2008»
13 years 11 months ago
Computing in social networks with relationship algebra
Communities are the latest phenomena on the Internet. At the heart of each community lies a social network. In this paper, we show a generalized framework to understand and reason...
Javed I. Khan, Sajid S. Shaikh