2586 search results - page 303 / 518 » Automatic Abstraction for Congruences |
191
click to vote
TMM
2011
15 years 1 months ago
2011
Abstract—We present an extension of automatic image annotation that takes the context of a picture into account. Our core assumption is that users do not only provide individual ...
207
click to vote
TIM
2010
15 years 1 months ago
2010
Abstract--The most popular representative devices of reconfigurable computing are the Field Programmable Gate Arrays (FPGAs). A promising feature of an FPGA is the ability to reuse...
202
click to vote
TMM
2010
15 years 1 months ago
2010
Abstract--Cohesiveness in teams is an essential part of ensuring the smooth running of task-oriented groups. Research in social psychology and management has shown that good cohesi...
243
click to vote
BILDMED
2011
14 years 10 months ago
2011
Abstract. Robust and accurate automatic detection of anatomical features on organic shapes is a challenging task. Despite a rough similarity, each shape is unique. To cope with thi...
168
click to vote
ESOP
2011
Springer
14 years 10 months ago
2011
Springer
Abstract. Nominal Isabelle is a definitional extension of the Isabelle/HOL theorem prover. It provides a proving infrastructure for reasoning about programming language calculi in...