Sciweavers

2397 search results - page 96 / 480
» Applications of integer relation algorithms
Sort
View
172
Voted
CORR
2011
Springer
148views Education» more  CORR 2011»
15 years 1 months ago
On Social-Temporal Group Query with Acquaintance Constraint
Three essential criteria are important for activity planning, including: (1) finding a group of attendees familiar with the initiator, (2) ensuring each attendee in the group to ...
De-Nian Yang, Yi-Ling Chen, Wang-Chien Lee, Ming-S...
CODCRY
2011
Springer
242views Cryptology» more  CODCRY 2011»
14 years 10 months ago
Faster 2-Regular Information-Set Decoding
Fix positive integers B and w. Let C be a linear code over F2 of length Bw. The 2-regular-decoding problem is to find a nonzero codeword consisting of w length-B blocks, each of w...
Daniel J. Bernstein, Tanja Lange, Christiane Peter...
CVIU
2011
14 years 9 months ago
A comparative study of object-level spatial context techniques for semantic image analysis
Abstract—In this paper, three approaches to utilizing objectlevel spatial contextual information for semantic image analysis are presented and comparatively evaluated. Contextual...
Georgios Th. Papadopoulos, Carsten Saathoff, Hugo ...
SIGSOFT
2007
ACM
16 years 7 months ago
Finding bugs efficiently with a SAT solver
We present an approach for checking code against rich specifications, based on existing work that consists of encoding the program in a relational logic and using a constraint sol...
Julian Dolby, Mandana Vaziri, Frank Tip
AVSS
2009
IEEE
16 years 1 months ago
An Ontology for Event Detection and its Application in Surveillance Video
In this paper, we propose an ontology for representing the prior knowledge related to video event analysis. It is composed of two types of knowledge related to the application dom...
Juan Carlos San Miguel, José María M...