451 search results - page 35 / 91 » Relationless Completeness and Separations |
119
Voted
VLSID
2004
IEEE
16 years 3 months ago
2004
IEEE
Watermarking is the process that embeds data called a watermark into a multimedia object for its copyright protection. The digital watermarks can be visible to a viewer on careful...
109
Voted
CADE
2002
Springer
16 years 3 months ago
2002
Springer
Modularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Michael Abbott, Neil Ghani, and Christoph L?uth Union of Equational Theo...
105
click to vote
IEEEARES
2010
IEEE
15 years 10 months ago
2010
IEEE
—Increasingly, organizations collaborate with other organizations in value webs with various arrangements, such as outsourcing, partnering, joint ventures, or subcontracting. As ...
151
Voted
DATE
2009
IEEE
15 years 10 months ago
2009
IEEE
—Verification is a major issue in circuit and system design. Formal methods like bounded model checking (BMC) can guarantee a high quality of the verification. There are severa...
61
Voted
ICRA
2009
IEEE
15 years 10 months ago
2009
IEEE
— We explore the interconnection between search and action in the context of mobile robotics. The task of searching for an object and then performing some action with that object...