2088 search results - page 362 / 418 » Formal Approach to Integrating Feature and Architecture Mode... |
123
click to vote
RAS
2002
14 years 11 months ago
2002
Especially in dynamic environments a key feature concerning the robustness of mobile robot navigation is the capability of global self-localization. This term denotes a robot'...
103
click to vote
COGSCI
2010
14 years 10 months ago
2010
It is frequently claimed that the human mind is organized in a modular fashion, a hypothesis linked historically, though not inevitably, to the claim that many aspects of the huma...
ICASSP
2011
IEEE
14 years 3 months ago
2011
IEEE
One of the fundamental building blocks of text processing for textto-speech (TTS) synthesis is the assignment of a part-of-speech (POS) tag to each input word. POS tags are heavil...
105
click to vote
VLSID
2002
IEEE
16 years 6 days ago
2002
IEEE
Satisfiability of complex word-level formulas often arises as a problem in formal verification of hardware designs described at the register transfer level (RTL). Even though most...
ICWS
2009
IEEE
15 years 9 months ago
2009
IEEE
Emerging as the popular choice for leading Internet companies to expose internal data and resources, RESTful Web services are attracting increasing attention in the industry. Whil...