2488 search results - page 243 / 498 » An improvement in formal verification |
HICSS
2010
IEEE
15 years 8 months ago
2010
IEEE
Creativity techniques provide a variety of approaches for supporting an ideation process. These techniques can be executed using a Group Support System (GSS), thus allowing the id...
ICSE
2009
IEEE-ACM
15 years 8 months ago
2009
IEEE-ACM
We report on one organization's experience making process changes in a suite of projects. The changes were motivated by clients’ requests for better time estimates, better ...
CSE
2009
IEEE
15 years 8 months ago
2009
IEEE
Interobserver reliability and reproducibility are well known problems in experimental research within the social and behavioural sciences. We propose the use of formal techniques ...
111
click to vote
LICS
2009
IEEE
15 years 8 months ago
2009
IEEE
Automata on infinite words (ω-automata) have wide applications in formal language theory as well as in modeling and verifying reactive systems. Complementation of ωautomata is ...
ICDM
2008
IEEE
15 years 7 months ago
2008
IEEE
This paper describes an approach for incorporating externally specified aggregate ratings information into certain types of collaborative filtering (CF) methods. For a statistic...