1914 search results - page 301 / 383 » Abstract lambda-Calculus Machines |
177
Voted
HICSS
2003
IEEE
15 years 10 months ago
2003
IEEE
The assignment problem originally arising from parallel and distributed computing has been investigated intensively since the 70’s when Harold Stone proposed a method to solve i...
115
click to vote
ICDCSW
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— Today’s complex appliances are plagued by difficultto-use interfaces. In many cases, consumers use only a few of the many features on their appliances because the mor...
141
click to vote
IEEEICCI
2003
IEEE
15 years 10 months ago
2003
IEEE
Abstract— An ontology is a formal language adequately representing the knowledge used for reasoning in a specific environment. When contradictions arise and make ontologies inad...
137
click to vote
AUSAI
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. As the information technology grows interests in the intrusion detection system (IDS), which detects unauthorized usage, misuse by a local user and modification of impor...
138
click to vote
BIRTHDAY
2003
Springer
15 years 10 months ago
2003
Springer
Abstract. A novel framework for the design and analysis of energy-aware algorithms is presented, centered around a deterministic Bit-level (Boltzmann) Random Access Machine or BRAM...