1620 search results - page 77 / 324 » eg 2010 |
170
click to vote
ICTAI
2010
IEEE
15 years 2 months ago
2010
IEEE
Many applications call for methods to enable automatic extraction of structured information from unstructured natural language text. Due to inherent challenges of natural language ...
121
click to vote
ICWS
2010
IEEE
15 years 2 months ago
2010
IEEE
WS-Policy is a standard to express requirements and capabilities in Web service systems. Policies are based on domain-specific assertions. In this paper we present a lightweight ap...
164
click to vote
INFOCOM
2010
IEEE
15 years 2 months ago
2010
IEEE
Radio Frequency IDentification (RFID) technology has attracted much attention due to its variety of applications, e.g., inventory control and object tracking. One important problem...
175
click to vote
IWPEC
2010
Springer
15 years 2 months ago
2010
Springer
RANK AGGREGATION is important in many areas ranging from web search over databases to bioinformatics. The underlying decision problem KEMENY SCORE is NP-complete even in case of fo...
153
click to vote
MEMOCODE
2010
IEEE
15 years 2 months ago
2010
IEEE
This paper describes a formal executable semantics for the Verilog hardware description language. The goal of our formalization is to provide a concise and mathematically rigorous...