2702 search results - page 107 / 541 » Practically Applicable Formal Methods |
104
click to vote
MEMOCODE
2007
IEEE
15 years 8 months ago
2007
IEEE
New to the 2007 MEMOCODE conference is the HW/SW Co-Design Contest. Members of the technical and steering committees from MEMOCODE 2006 thought that the co-design practice is dist...
121
click to vote
COMMA
2006
15 years 3 months ago
2006
In this paper two formal dialectic systems are described, a persuasion protocol (PP0) and a negotiation protocol (NP0), together with a method for shifting from an instance of a pe...
114
click to vote
ICCS
2007
Springer
15 years 8 months ago
2007
Springer
Designing and refining ontologies becomes a tedious task, once the boundary to real-world-size knowledge bases has been crossed. Hence semi-automatic methods supporting those task...
119
click to vote
BMCBI
2010
15 years 2 months ago
2010
Background: Sustained research on the problem of determining which genes are differentially expressed on the basis of microarray data has yielded a plethora of statistical algorit...
178
click to vote
MTA
2008
15 years 2 months ago
2008
This paper presents a framework that explicitly detects events in broadcasting baseball videos and facilitates the development of many practical applications. Three phases of contr...