451 search results - page 35 / 91 » Relationless Completeness and Separations |
VLSID
2004
IEEE
15 years 10 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...
CADE
2002
Springer
15 years 10 months ago
2002
Springer
Modularity . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 46 Michael Abbott, Neil Ghani, and Christoph L?uth Union of Equational Theo...
66
Voted
IEEEARES
2010
IEEE
15 years 4 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 ...
104
click to vote
DATE
2009
IEEE
15 years 4 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...
42
Voted
ICRA
2009
IEEE
15 years 4 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...