6306 search results - page 910 / 1262 » Space, Time, and the Use of Language |
174
click to vote
SIGDOC
2006
ACM
16 years 24 days ago
2006
ACM
We report on the development of a tool which supports software programmers in programming to an interface by providing just in time (JIT) solutions. The development of the tool wa...
169
click to vote
DFT
2005
IEEE
16 years 14 days ago
2005
IEEE
This paper presents a new test methodology which utilizes the Programming Language Interface (PLI) for performing fault simulation of combinational or full scan Intellectual Prope...
164
click to vote
ICMB
2005
IEEE
16 years 13 days ago
2005
IEEE
Service discovery is important in mobile and pervasive computing environments, where the set of resources available to an entity changes dynamically over time. This paper describe...
163
click to vote
CAV
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. We address the issue of efficiently automating assume-guarantee reasoning for simulation conformance between finite state systems and specifications. We focus on a non...
224
Voted
CIVR
2005
Springer
16 years 11 days ago
2005
Springer
Abstract. This paper presents a novel method of automatic image semantic annotation. Our approach is based on the Image-Keyword Document Model (IKDM) with image features discretiza...