10916 search results - page 366 / 2184 » On Constructive Connectives and Systems |
219
click to vote
MICS
2010
15 years 6 months ago
2010
Abstract. There is something of a discontinuity at the heart of popular tactical theorem provers. Low-level, fully-checked mechanical proofs are large trees consisting of primitive...
262
click to vote
BMCBI
2010
15 years 5 months ago
2010
Background: Physical maps are the substrate of genome sequencing and map-based cloning and their construction relies on the accurate assembly of BAC clones into large contigs that...
192
click to vote
ICIP
1998
IEEE
16 years 9 months ago
1998
IEEE
In this paper, human facial articulation models are derived from frontal and side view image sequences using connected vibrations non-rigid motion tracking algorithm. First, a 3D ...
207
click to vote
HICSS
2009
IEEE
16 years 2 months ago
2009
IEEE
This paper describes a social network site designed to support employees within an enterprise in connecting and learning about each other through personal and professional sharing...
177
click to vote
HICSS
2007
IEEE
16 years 1 months ago
2007
IEEE
Locating physical devices and accessing their functionality in pervasive environments is strongly restricted by their locality. Since there are more and more devices available, wa...