Sciweavers

1034 search results - page 78 / 207
» Small Pi01 Classes
Sort
View
78
Voted
WORDS
2003
IEEE
15 years 4 months ago
ORB Middleware Evolution for Networked Embedded Systems
Standards-based COTS middleware has been shown to be effective in meeting a range of functional and QoS requirements for distributed real-time and embedded (DRE) systems. Each sta...
Christopher D. Gill, Venkita Subramonian, Jeff Par...
87
Voted
STACS
2001
Springer
15 years 3 months ago
A Toolkit for First Order Extensions of Monadic Games
In 1974 R. Fagin proved that properties of structures which are in NP are exactly the same as those expressible by existential second order sentences, that is sentences of the form...
David Janin, Jerzy Marcinkowski
98
Voted
SIGMOD
1999
ACM
122views Database» more  SIGMOD 1999»
15 years 3 months ago
BOAT-Optimistic Decision Tree Construction
Classification is an important data mining problem. Given a training database of records, each tagged with a class label, the goal of classification is to build a concise model ...
Johannes Gehrke, Venkatesh Ganti, Raghu Ramakrishn...
ICRA
1998
IEEE
137views Robotics» more  ICRA 1998»
15 years 3 months ago
GRAMMPS: A Generalized Mission Planner for Multiple Mobile Robots in Unstructured Environments
For a system of cooperative mobile robots to be effective in real-world applications, it must be able to efficiently execute a wide class of complex tasks in potentially unknown a...
Barry Brumitt, Anthony Stentz
91
Voted
ASIACRYPT
2006
Springer
15 years 2 months ago
The 2-Adic CM Method for Genus 2 Curves with Application to Cryptography
Abstract. The complex multiplication (CM) method for genus 2 is currently the most efficient way of generating genus 2 hyperelliptic curves defined over large prime fields and suit...
Pierrick Gaudry, T. Houtmann, D. Kohel, Christophe...