Sciweavers

1030 search results - page 91 / 206
» Happenings
Sort
View
TACAS
2007
Springer
92views Algorithms» more  TACAS 2007»
15 years 5 months ago
Model Checking Liveness Properties of Genetic Regulatory Networks
Abstract. Recent studies have demonstrated the possibility to build genetic regulatory networks that confer a desired behavior to a living organism. However, the design of these ne...
Grégory Batt, Calin Belta, Ron Weiss
VISUAL
2007
Springer
15 years 5 months ago
Automatic Detection and Recognition of Players in Soccer Videos
An application for content-based annotation and retrieval of videos can be found in the sport domain, where videos are annotated in order to produce short summaries for news and sp...
Lamberto Ballan, Marco Bertini, Alberto Del Bimbo,...
AGILEDC
2006
IEEE
15 years 5 months ago
Embedded Agile Project by the Numbers With Newbies
There is a class of projects that can only be accomplished via agile practices due to their complexity and risks. It is rare for such a project to be staffed with newbies but it h...
Nancy Van Schooenderwoert
IWPC
2006
IEEE
15 years 5 months ago
Digging the Development Dust for Refactorings
Software repositories are rich sources of information about the software development process. Mining the information stored in them has been shown to provide interesting insights ...
Curtis Schofield, Brendan Tansey, Zhenchang Xing, ...
TABLETOP
2006
IEEE
15 years 5 months ago
Multi-User Interface and Interactions on Direct-Touch Horizontal Surfaces: Collaborative Tabletop Research at MERL
While “displays” have the connotation of affording visual output, “surfaces” invite the users to interact. What happens then when the surfaces are also displays, when a di...
Chia Shen