2044 search results - page 353 / 409 » System theory for numerical analysis |
108
click to vote
BIOINFORMATICS
2011
14 years 6 months ago
2011
Motivation: Analysis and intervention in the dynamics of gene regulatory networks is at the heart of emerging efforts in the development of modern treatment of numerous ailments i...
202
click to vote
ICDE
2007
IEEE
16 years 1 months ago
2007
IEEE
We propose a class of constraints, referred to as conditional functional dependencies (CFDs), and study their applications in data cleaning. In contrast to traditional functional ...
SIGSOFT
2005
ACM
16 years 17 days ago
2005
ACM
Fluent model checking is an automated technique for verifying that an event-based operational model satisfies some state-based declarative properties. The link between the event-b...
104
click to vote
WWW
2009
ACM
16 years 15 days ago
2009
ACM
We analyse the corpus of user relationships of the Slashdot technology news site. The data was collected from the Slashdot Zoo feature where users of the website can tag other use...
CHI
2008
ACM
16 years 7 days ago
2008
ACM
We study the development of common ground in an emergency management planning task. Twelve three-person multi-role teams performed the task with a paper prototype in a controlled ...