626 search results - page 47 / 126 » When Can Formal Methods Make a Real Difference |
146
Voted
ECCV
2006
Springer
16 years 5 months ago
2006
Springer
Abstract. The steady improvement in image/video editing techniques has enabled people to synthesize realistic images/videos conveniently. Some legal issues may occur when a doctore...
144
click to vote
JCST
2007
15 years 3 months ago
2007
Abstract Advances in wireless sensor networks and positioning technologies enable new applications monitoring moving objects. Some of these applications, such as traffic managemen...
104
Voted
JMLR
2002
15 years 3 months ago
2002
A single signal processing algorithm can be represented by many mathematically equivalent formulas. However, when these formulas are implemented in code and run on real machines, ...
137
Voted
ICDE
2011
IEEE
14 years 7 months ago
2011
IEEE
—An important facility to aid keyword search on XML data is suggesting alternative queries when user queries contain typographical errors. Query suggestion thus can improve users...
156
click to vote
TKDE
2012
13 years 5 months ago
2012
—In a traditional keyword-search system over XML data, a user composes a keyword query, submits it to the system, and retrieves relevant answers. In the case where the user has l...